A Practical Analytical Approach to Increase Confidence in Software Safety Arguments - Vismari, Lúcio Flávio; Camargo Júnior, João Batista; Almeida Junior, Jorge Rady de; Silva Neto, Antonio Vieira da; Gimenes, Ricardo Alexandre Veiga; Cugnasca, Paulo Sérgio (IEEE Systems Journal, 2017)