Geometric integration of impact during an orbital docking procedure. - Corrina Gibson; Todd D. Murphey (CASE, 2010)

Abstractions for Executable and Checkable Fault Management Models. - Corrina Gibson; Robert Karban; Luigi Andolfato; John C. Day (CSER, 2014)

Formal validation of fault management design solutions. - Corrina Gibson; Robert Karban; Luigi Andolfato; John C. Day (ACM SIGSOFT Softw. Eng. Notes, 2014)