T. Vieira, V. Alves, and L. Teixeira.
" An Interpreter-based Framework for Static Analysis of Variability in Space and Time", in Anais do XXIX Simpósio Brasileiro de Linguagens de Programação, Recife/PE, 2025, pp. 28-35, doi: https://doi.org/10.5753/sblp.2025.10527.