A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. - Frederick T. Sheldon; Hye Yeon Kim; Zhihe Zhou (PRDC, 2001)

Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. - Hye Yeon Kim; Kshamta Jerath; Frederick T. Sheldon (Component-Based Software Quality, 2003)

Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System. - Hye Yeon Kim; Frederick T. Sheldon (Softw. Qual. J., 2004)