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