1
Published 1991
Springer Vienna
Table of Contents: ... -- Application-Oriented Systems -- Safety and Fault-Tolerance in Computer-Controlled Railway Signalling System...

2
Published 1992
Springer Vienna
...Dependable Computing and Fault-Tolerant Systems...

3
Published 1995
Springer Berlin Heidelberg
Table of Contents: .... Dependability Modelling and Evaluation of Software Fault-Tolerant Systems -- F. Dependability Analysis...