de Oliveira, André Luiz, Braga, Rosana, Masiero, Paulo, Parker, David, Papadopoulos, Yiannis, Habli, Ibrahim, Kelly, Tim, "Variability management in safety-critical systems design and dependability analysis", Journal of Software: Evolution and Process, 2019