Oliveira, A., Braga, R., Masiero, P., Papadopoulos, Y., Habli, I., & Kelly, T. (2014). A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. In Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, (pp. 7-12). Porto Alegre: SBC.