Computer Safety, Reliability, and Security - Casimiro; Bitsch, Friedemann; Ferreira, Pedro; Ortmeier, Frank (Springer International Publishing, 2020)