Return to Article Details PRO-ELICERE: A Hazard Analysis Automation Process Applied to Space Systems Download Download PDF