Lima Neto, Crescencio, Eduardo S.  Almeida, and Silvio R. L. Meira.
"SPLMT-TE: A Software Product Lines System Test Case Tool." <em>Anais do XI Simpósio Brasileiro de Qualidade de Software,
Fortaleza, 2012</em>. SBC, 2012,  
pp.444-459.