Fault tolerant real time systems
Gilbert, M. H.
Harwell UKAEA
1983
Nuclear power plants