Dependability of critical computer systems. 2 - Redmill, F.J (Elsevier, 1988)