Dependability of Critical Computer Systems : guidelines produced by The European Workshop on Industrial Computer Systems, Technical Comittee 7 EWICS TC7. - Bishop, P. G. (Elsevier Applied Science, 1990)