Computer Safety, Reliability, and Security - Tonetta (Springer International Publishing, 2017)