Miriam C. Bergue Alves, Doron Drusinsky, James Bret Michael, Man-tak Shing. End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. IEEE Systems Journal, 7(4):632-641, 2013. [doi]
Abstract is missing.