@article{articlea6d9a70f, title = {Model-based safety analysis of software product lines}, author = {Oliveira, Andre L. de and Braga, Rosana Teresinha Vaccare and Masiero, Paulo Cesar and Papadopoulos, Yiannis and Habli, Ibrahim and Kelly, Tim}, year = {2016}, doi = {10.1504/IJES.2016.10001344}, journal = {International Journal of Embedded Systems (IJES)} }