Resilient computer system design - Castano, Victor; Schagaev, Igor (Springer, 2015)