Reliability of computer and control systems / - Viswanadham, N. (North-Holland, 1987)