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