Formal methods software engineering for the CARA system

John C. Martin. Formal methods software engineering for the CARA system. STTT, 5(4):301-307, 2004. [doi]