Computer Safety, Reliability, and Security - Skavhaug, Amund (Springer International Publishing, 2016)