A Workflow-Based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment. - Kun Xiao; Nianen Chen; Shangping Ren; Limin Shen; Xianhe Sun; Kevin A. Kwiat; Michael Macalik (SESS@ICSE, 2007)