@inproceedings{inproceedings581989b3, title = {A model-based approach to support the automatic safety analysis of multiple product line products}, author = {Oliveira, Andre L. de and Braga, Rosana Teresinha Vaccare and Masiero, Paulo Cesar and Papadopoulos, Yiannis and Habli, Ibrahim and Kelly, Tim}, year = {2014}, publisher = {SBC}, booktitle = {Simpósio Brasileiro de Engenharia de Sistemas Computacionais - SBESC 2014} }