An Interpreter-based Framework for Static Analysis of Variability in Space and Time. - Tayná Vieira; Vander Alves; Leopoldo Teixeira (SBLP, 2025)