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