Computer Safety, Reliability, and Security - Skavhaug, Amund; Bitsch, Friedemann; Guiochet, Jérémie; Schoitsch, Erwin (Springer International Publishing, 2016)