Vilela, J. 2020 out 19. An Empirical Evaluation about Using Models to Improve Preliminary Safety Analysis. Anais do Workshop em Modelagem e Simulação de Sistemas Intensivos em Software (MSSiS). [Online] :