Crash Avoidance Metrics Partnership. Annual Report, April 2001 through March 2002
An automated approach to designing real time systems
Flight Termination System Equipment. Volume III. Relays, Timers, and Switches
Modelling and simulation of DME navigation global service volume