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