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