Verification of time partitioning in the DEOS scheduler kernel. - John Penix; Willem Visser; Eric Engstrom; Aaron Larson; Nicholas Weininger (ICSE, 2000)

Applications of Model Checking at Honeywell Laboratories. - Darren D. Cofer; Eric Engstrom; Robert P. Goldman; David J. Musliner; Steve Vestal (SPIN, 2001)

Composable Code Generation for Model-Based Development. - Kirk Schloegel; David Oglesby; Eric Engstrom; Devesh Bhatt (SCOPES, 2003)

Verifying Time Partitioning in the DEOS Scheduling Kernel. - John Penix; Willem Visser; Seungjoon Park; Corina S. Pasareanu; Eric Engstrom; Aaron Larson; Nicholas Weininger (Formal Methods Syst. Des., 2005)

An Interaction Fit Analysis Technique and its Applications. - Christopher Allen Miller; Jeffrey M. Rye; Peggy Wu; Eric Engstrom (AAAI Spring Symposia, 2014)