Common ADA Missile Packages (CAMP)
Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Formal Verification of a Redundancy Management Algorithm
Guidance Software Development Workshop
Military and Civil Software Standards and Guidelines for Guidance and Control
A Practical Experience of ADA for Developing Embedded Software
Coprocessor Support for Real-Time ADA