Andre L. de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly. A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. In 2014 Brazilian Symposium on Computing Systems Engineering, SBESC 2014, Manaus, Amazonas, Brazil, November 3-7, 2014. pages 7-12, IEEE Computer Society, 2014. [doi]
Abstract is missing.