Hardware and software architectures for fault tolerance : experiments and perspectives - Banâtre, Michel, 1950-; Lee, Peter A., 1951- (Lecture notes in computer science ;, 1994)