Computer Safety, Reliability, and Security - Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (Springer, 2017)