Architectural description of a fault-tolerant multiprocessor engineering prototype
Hardware/software FMEA applied to airplane safety
A software evaluation: results and recommendations
A simulation technique in microprogram validation
Evaluating the GPSS simulation model for the Viking batch computer system
Computers in railyway signalling on London underground
Full cycle corrective action (FCCA) for improved warranty service
Triplex digital fly by wire redundancy management techniques
Software dependability evaluation in space systems
Implementation of ATC systems in developing countries
Advanced passenger train speed advisory system based upon microprocessors
Future military computers/electronics requirements
The use of microprocessors in automatic train operation
Automated maneuvering attack system safety design
Microprocessor-based supervising system of high-speed electric railcars
Testing embedded microprocessors (Space application requirements)