Dependable computing for critical applications - Avižienis, Algirdas (Springer-Verlag, 1991)