Abstract : This task was performed under delivery order #8 of the Technology for Readiness and Sustainment (TRS) contract (F33615-99-D-6001). The period of research covered activities from January 2000 through January 2001. The primary objective of this research was to explore the feasibility of validating aircraft maintenance procedures using human models. The candidate aircraft maintenance procedures are decomposed from their written form into implied actions to obtain accurate simulation of the procedures. By comparing the procedure language with its corresponding actions, we can easily judge whether procedures as written are safe, logically ordered, and complete. In addition, this task also produced a core set of critical research and development tasks considered essential to overcoming important barriers to the development of an automated Technical Order (TO) validation and verification system or application.