Making Software Product Line Evolution Safer. - Felype Ferreira; Paulo Borba; Gustavo Soares; Rohit Gheyi (SBCARS, 2012)

A Toolset for Checking SPL Refinements. - Felype Ferreira; Rohit Gheyi; Paulo Borba; Gustavo Soares (J. Univers. Comput. Sci., 2014)