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