@inproceedings{inproceedings5ce2a39f, title = {A pattern to argue the compliance of system safety requirements decomposition}, author = {Oliveira, Andre L. de and Braga, Rosana Teresinha Vaccare and Masiero, Paulo Cesar and Habli, Ibrahim and Kelly, Tim}, year = {2014}, booktitle = {Latin American Conference on Pattern Languages of Programs - SugarLoaf PLoP 2014} }