Dependability of critical computer systems 2. : Guidelines... - Redmill, Felix J. (Elsevier Applied Science Publishers Ltd., 1989)