Daniel-Jesus Munoz, Mónica Pinto, Lidia Fuentes, Don S. Batory. Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language. Journal of Systems and Software, 204:111770, October 2023. [doi]
Abstract is missing.