Computer Safety, Reliability, and Security - Gallina (Springer International Publishing, 2018)