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