A. Oliveira, R. Braga, P. Masiero, Y. Papadopoulos, I. Habli, and T. Kelly. " 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, Manaus/AM, 2014, pp. 7-12.