Predictably dependable computing systems - Randell, Brian 1936- (Springer, 1995)