TY - RPRT TI - Model-Based Safety Analysis AU - Joshi, Anjali AU - Heimdahl, Mats P. E. AU - Miller, Steven P. AU - Whalen, Mike W. PY - 2006 UR - https://ntrs.nasa.gov/citations/20060006673 ID - 20060006673 ER -