Computer Safety, Reliability and Security door S. Anderson, M. Felici & A. Pasquini