input: [Patent] US 7,752,608 [GSFC Case Number] GSC-14942-1 [Description] This patent describes the use of an "inference engine" for converting system rules into a process-based specification that can then be analyzed. [Title] 
output: Systems, Methods And Apparatus For Verification Of Knowledge-Based Systems