Andre Oliveira, Rosana Braga, Paulo Masiero, Yiannis Papadopoulos, Ibrahim Habli, and Tim Kelly. 2014.
 A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. In <em>Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 03, 2014, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 7-12.