Oliveira, Andre, 		Braga, Rosana, 		Masiero, Paulo, 		Papadopoulos, Yiannis, 		Habli, Ibrahim, E 		Kelly, Tim.
" A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (3 novembro 2014)