TY - RPRT TI - Detecting Hidden Failure Modes in Critical, Embedded Software AU - Lutz, R. PY - 1995 UR - https://ntrs.nasa.gov/citations/20060038150 ID - 20060038150 ER -