de Oliveira, André L., Braga, Rosana T.V., Masiero, Paulo C., Papadopoulos, Yiannis, Habli, Ibrahim, Kelly, Tim, "Supporting the automated generation of modular product line safety cases", , 2015