TY - RPRT TI - Automation for System Safety Analysis AU - Malin, Jane T. AU - Fleming, Land AU - Throop, David AU - Thronesbery, Carroll AU - Flores, Joshua AU - Bennett, Ted AU - Wennberg, Paul PY - 2009 UR - https://ntrs.nasa.gov/citations/20090031767 ID - 20090031767 ER -