Computer Safety, Reliability, and Security - Bitsch, Friedemann; Guiochet, Jrmie; Kaâniche, Mohamed; Guiochet, Jérémie; Kaâniche, Mohamed (Springer Berlin Heidelberg, 2013)