Computer Safety, Reliability, and Security - Bondavalli; Ceccarelli, Andrea; Ortmeier, Frank (Springer International Publishing, 2014)