Software Engineering for Resilient Systems - Calinescu; Di Giandomenico, Felicita (Springer International Publishing, 2019)