Computer Safety, Reliability, and Security - Gallina; Amund Skavhaug; Friedemann Bitsch; Bitsch, Friedemann; Skavhaug, Amund (Springer International Publishing, 2018)