A factoring approach for the stochastic shortest path problem. - Kelly J. Hayhurst; Douglas R. Shier (Oper. Res. Lett., 1991)

System Requirements and Analysis Issues for High Assurance Systems. - Gary Johnson; John Calvert; Kelly J. Hayhurst; John Janeri; Herbert Hecht (HASE, 1998)

Evaluating the Effectiveness of Independendent Verification and Validation. - James D. Arthur; Markus K. Gröner; Kelly J. Hayhurst; C. Michael Holloway (Computer, 1999)