Assessment criteria for safety critical computer. - El-Miloudi El-Koursi; Ph. Meganck (SMC, 1998)