Dependability of critical computer systems. Vol. 3. Techniques directory - Bishop, P. G. (Elsevier Applied Science, 1990)