TY - RPRT TI - Requirements discovery during the testing of safety-critical software AU - Lutz, R. AU - Mikulski, C. PY - 2003 UR - https://ntrs.nasa.gov/citations/20060030237 ID - 20060030237 ER -