TY - RPRT TI - Formalized pilot study of safety-critical software anomalie AU - Lutz, R. AU - Mikulski, C. PY - 2002 UR - https://ntrs.nasa.gov/citations/20060029957 ID - 20060029957 ER -