PRO-ELICERE: a Hazard Analysis Automation Process Applied to Space Systems. - Pivetta, Tharcius Augusto; Silva, Glauco da; Lahoz, Carlos Henrique Netto; Camargo Júnior, João Batista (Journal of Aerospace Technology and Management, 2016)