M. Capellari, I. Gimenes, A. Simão, and A. Endo.
"Towards Incremental FSM-based Testing of Software Product Lines", in <em>Anais do XI Simpósio Brasileiro de Qualidade de Software</em>, Fortaleza, 2012, pp. 9-23, doi: <a href="https://doi.org/10.5753/sbqs.2012.15304">https://doi.org/10.5753/sbqs.2012.15304</a>.