Oliveira, A., 		Braga, R., 		Masiero, P., 		Papadopoulos, Y., 		Habli, I., & 		Kelly, T.
2014 nov  3.  A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :