A Formal Framework for Dependability and Resilience from A Software Engineering Perspective Publication Type: Journal Article Authors: Nicolas Guelfi Source: Open Computer Science, Volume 1, Issue 3, p.294-328 (2011)