PLeTs-Test Automation using Software Product Lines and Model Based Testing. - Elder de Macedo Rodrigues; Leonardo D. Viccari; Avelino F. Zorzo (SEKE, 2010)