Vieira, Tayná, Vander Alves, and Leopoldo Teixeira. " An Interpreter-based Framework for Static Analysis of Variability in Space and Time." Anais do XXIX Simpósio Brasileiro de Linguagens de Programação, Recife/PE, 2025. SBC, 2025, pp.28-35.