Computer Safety, Reliability, and Security - Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch (Springer, 2022)