B. da Silva, L. Teixeira, and G. Berkenbrock. " Critérios para geração de casos de teste baseados em modelo descritos em PcML", in Anais da VII Escola Regional de Engenharia de Software, Maringá/PR, 2023, pp. 11-20, doi: https://doi.org/10.5753/eres.2023.237339.