Software Fault Tolerance: An Evaluation. - Tom Anderson; Peter A. Barrett; Dave N. Halliwell; Michael R. Moulding (IEEE Trans. Software Eng., 1985)