Model Checking Control Communication of a FACTS Device. - David A. Cape; Bruce M. McMillin; James K. Townsend (ICPP Workshops, 2006)

Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. - Yan Sun 008; Bruce M. McMillin; Xiaoqing Frank Liu; David A. Cape (QSIC, 2007)

Dihomotopic Reduction Used in Deadlock Detection. - David A. Cape; Bruce M. McMillin (COMPSAC (1), 2009)

Recursive Decomposition of Progress Graphs. - David A. Cape; Bruce M. McMillin; Benjamin W. Passer; Mayur Thakur (SSIRI, 2009)