A Methodology for Prototyping-in-the-Large. - James M. Purtilo; Aaron Larson; Jeff Clark (ICSE, 1991)

Epochs, Configuration Schema, and Version Cursors in the KBSA Framework CCM Model. - John Kimball; Aaron Larson (SCM, 1991)

Implementation of a Transient-Fault-Tolerance Scheme on DEOS - A Technology Transfer from an Academic System to an Industrial System. - Libin Dong; Rami G. Melhem; Daniel Mossé; Sunondo Ghosh; Walter L. Heimerdinger; Aaron Larson (IEEE Real Time Technology and Applications Symposium, 1999)

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

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)