A framework for building dependable systems (1991)

by A Burns, A M Lister
Venue:The Computer Journal