Computer Safety, Reliability, and Security - Floor Koornneef, Coen van Gulijk (Springer International Publishing, 2015)