Dependable computing for critical applications 4 - Cristian, F. 1951- . (Flaviu); Le Lann, G. 1943- . (Gerard) (Dependable computing and fault-tolerant systems, 1995)