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