Title: Models and methodology of system dependability
Subjects: Computer networks, Computer software