Formal analysis of safety-critical system simulations. - Ayesha Yasmeen; Karen M. Feigh; Gabriel Gelman; Elsa L. Gunter (ATACCS, 2012)

Example of a Complementary Use of Model Checking and Agent-Based Simulation. - Gabriel Gelman; Karen M. Feigh; John M. Rushby (SMC, 2013)

Generic Agent Models for Simulations of Concepts of Operation: Part 2. - Karen M. Feigh; Amy R. Pritchett; Sebastien Mamessier; Gabriel Gelman (J. Aerosp. Inf. Syst., 2014)

Example of a Complementary Use of Model Checking and Human Performance Simulation. - Gabriel Gelman; Karen M. Feigh; John M. Rushby (IEEE Trans. Hum. Mach. Syst., 2014)