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