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