Dependability of critical computer systems : guidelines produced by the European Workshop on Industrial Computer Systems, Technical Committee 7 (EWICS TC7) - Redmill, Felix; Bishop, P. G. (Elsevier Applied Science, 1988)