TY - RPRT TI - System and method for deriving a process-based specification AU - Hinchey, Michael Gerard AU - Rash, James Larry AU - Rouff, Christopher A. PY - 2009 UR - https://ntrs.nasa.gov/citations/20090043141 ID - 20090043141 ER -