Computer architectures for advanced air traffic control applications
A new computerized approach to reliability assessment of complex satellite payloads
Reliability and flexibility of the IRAS on-board software
A highly available microprocessor-based plant controller
New ticketing system for the London Underground
Minimizing air launched cruise missile software life cycle cost
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
Safety of flight issues for an automatic trajectory control system