Computer Safety, Reliability, and Security door F. Koornneef & M. van der Meulen