1. The Computer Control of Hazardous Payloads-Final Report;Amkey;NASA/JSCIFDSD,1991
2. Design Phase Considerations for Safety-Critical Software Systems;Gowen;Professional Safety,1995
3. Yourdon Systems Method model driven systems development,1993
4. Ommand Requirements and Guidelines for NSTS Customers,1989