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