Vieira, Tayná, Alves, Vander, AND Teixeira, Leopoldo. " An Interpreter-based Framework for Static Analysis of Variability in Space and Time" Proceedings of the Brazilian Symposium on Programming Languages (SBLP) [Online], (22 September 2025)