C. Adams, DO-178C nears finish line, with credit for modern tools and technologies, Military and Aerospace Electronics, 2010.

G. Bollella, B. Brosgol, J. Gosling, P. Dibble, S. Furr et al., The Real-Time Specification for Java, p.195, 2000.

K. Arnold, J. Gosling, and D. Holmes, The Java? Programming Language, 2005.

K. Nilsen, Differentiating Features of the PERC Virtual Machine

K. Nilsen, Making Effective Use of the Real-Time Specification for Java, Atego White Paper, 2004.

, Meeting minutes, notes, and preliminary materials related to an early draft specification for safety-critical Java

. Perc-pico-user and . Manual, , 2008.

D. Locke, B. S. Andersen, B. Brosgol, M. Fulton, T. Henties et al., A. Wellings. Safety-Critical Java Technology Specification, Public Draft, 2011.

M. Richard-foy, T. Schoofs, E. Jenn, L. Gauthier, and K. Nilsen, Use of PERC Pico for Safety Critical Java, Conference Proceedings: Embedded Real-Time Software and Systems, 2010.

K. Nilsen, Improving Abstraction, Encapsulation, and Performance within Mixed-Mode Real-Time Java Applications, Conference Proceedings: Java Technology for Embedded Real-Time Systems, 2007.