A Framework for Building Dependable Systems (1990)

by A Burns, A Lister
Venue:Computer Journal