Software Engineering for Resilient Systems - Radu Calinescu, Felicita Di Giandomenico (Springer, 2019)