93f5a533_litary___Aerospace_Electronics__Title
[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] 
Systems, Methods, and Apparatus for Pattern Matching in Procedure Development and Verification
NASA to auction satellite software patent lots - Military & Aerospace Electronics
Title