TY - RPRT TI - Using Model-Based Assurance to Strengthen Diagnostic Procedures AU - Lutz, Robyn AU - Johnson, Jeremy AU - Patterson-Hine, Ann PY - 2011 UR - https://ntrs.nasa.gov/citations/20150005973 ID - 20150005973 ER -