Military and Civil Software Standards and Guidelines for Guidance and Control
Software Design Considerations for an Airborne Command and Control Workstation
The Data Oriented Requirements Implementation Scheme
Formal Specification of Satellite Telemetry: A Practical Experience
Development and Verification of Software for Flight Safety Critical Systems
Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Formal Verification of a Redundancy Management Algorithm
A Practical Experience of ADA for Developing Embedded Software