Frank Ortmeier, Peter Daniel Computer Safety, Reliability, and Security - 2012 ISBN: 978-3-642-33675-1 Subjects--Topical Terms: Computer Communication NetworksComputers and SocietyLogics and Meanings of ProgramsSoftware EngineeringComputer Science