input: [Patent] US 7,979,848 [GSFC Case Number] GSC-15080-1 [Description] This approach describes where formal specifications are pattern-matched from scenarios, then analyzed, and any flaws in formal specifications are corrected. [Title] 
output: Systems, Methods, and Apparatus for Pattern Matching in Procedure Development and Verification