Automated maneuvering attack system safety design
Introduction to the application of ADA to guidance and control
Software validation for a railway signalling system
Mikrocomputersystem MES 80 fuer die Eisenbahnsignaltechnik
Computer architectures for advanced air traffic control applications
Automated support systems in military command and control: the problem