TY - RPRT TI - Specification Reformulation During Specification Validation AU - Benner, Kevin M. PY - 1992 UR - https://ntrs.nasa.gov/citations/19960047150 ID - 19960047150 ER -