Computer Safety, Reliability, and Security - Bitsch (Springer Berlin Heidelberg, 2013)