End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software | IEEE Journals & Magazine | IEEE Xplore