Computer Safety, Reliability, and Security - Romanovsky (Springer International Publishing, 2019)