Computer Safety, Reliability, and Security - Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch (Springer, 2019)