Vilela, J. (2020). An Empirical Evaluation about Using Models to Improve Preliminary Safety Analysis. In Anais do II Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, (pp. 66-75). Porto Alegre: SBC. doi:10.5753/mssis.2020.12496