A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment - Creese, S; Goldsmith, M; Adetoye, A (To appear, 2011)