Computer Safety, Reliability, and Security - António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira (Springer, 2020)