Two Demonstrations of Economical EAL5+ Development for Tokeneer. - John Anton; Martin Croxford; Alessandro Coglio; Janet Barnes; Randy Johnson; Tim Kremann (ISSSE, 2006)

Engineering the Tokeneer Enclave Protection Software. - Janet Barnes; Rod Chapman; Randy Johnson; James C. Widmaier; Bill Everett; David Cooper (ISSSE, 2006)

Fatigue, Nurses, and Patient Safety: Correlating Fatigue and Patient Safety in a Simulated Environment (abstract). - Randy Johnson; Jon French; Tim Bode (HSC, 2009)