Ultra high reliable spacecraft computer system design considerations
On fly-by-wire control system and statistical analysis of system performance
Solid-State-Interlocking (SSI): an integrated electronic signalling system for mainline railways
New ticketing system for the London Underground
Evolution of automatic devices on conjunction with signalling on the SNCF
Decomposition-aggregation techniques for modelling and stability studies of arms race systems
Reliability and safety analysis of a fault-tolerant controller
Architecture optimization of aerospace computing systems
A fault-tolerant system architecture for navy applications
Weapons systems analysis, part 3: Warfare gaming, tactics and techniques
Weapons systems analysis, part 2: Simulation techniques and models
Weapons systems analysis, part 1: System effectiveness
Head-up displays - The integrity of flight information
A measure of reliability for classification of Earth satellite data
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
Computer control in fluid power. An emerging technology