Guelfi, Nicolas. "A Formal Framework for Dependability and Resilience from A Software Engineering Perspective." Open Computer Science 1, no. 3 (2011): 294-328.