Software Engineering for Resilient Systems - Fantechi; Pelliccione, Patrizio (Springer International Publishing, 2015)