@mastersthesis{mastersthesis3ced67b8, title = {A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering}, author = {Oliveira, André Luiz de and Braga, Rosana Teresinha Vaccare and Kelly, Timothy Patrick}, year = {2016}, school = {Universidade de São Paulo} }