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