A Model-based Approach to Engineering Behavior of Complex Aerospace Systems. - Michel D. Ingham; John C. Day; Kenneth Donahue; Alexander Kadesch; Andrew Kennedy; Mohammed Omair Khan; Ethan Post; Shaun Standley (Infotech@Aerospace, 2012)

Fault-class-aware fault tree generation and analysis. - Ann T. Tai; Chris J. Walter; Lorraine M. Fesq; John C. Day (ISSRE (Supplemental Proceedings), 2013)

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)

Advancing the Scientific Frontier with Increasingly Autonomous Systems. - Rashied B. Amini; Abigail Azari; Shyam Bhaskaran; Patricia Beauchamp; Julie C. Castillo-Rogez; Rebecca Castaño; Seung Chung; John C. Day; Richard J. Doyle; Martin Feather; Lorraine M. Fesq; Jeremy Frank; et al. (CoRR, 2020)