Safety of flight issues for an automatic trajectory control system
Telerobotic work system-space robotics application
Reliability and safety analysis of a fault-tolerant controller
Computers in railyway signalling on London underground
Solid-State-Interlocking (SSI): an integrated electronic signalling system for mainline railways
New ticketing system for the London Underground
Methods for evaluating integrated airframe/propulsion control system architectures
Evolution of automatic devices on conjunction with signalling on the SNCF
Advanced surface design for logistics analysis
A practical reliability evaluation of embedded avionic software
Software design for the fault tolerant electrical power system
Decomposition-aggregation techniques for modelling and stability studies of arms race systems
Software-reliability metrics for military systems
A fault tolerant control law system for combat aircraft