1. Shaull Almagor, Udi Boker, and Orna Kupferman. 2022. What’s decidable about weighted automata?Information and Computation 282 (2022), 104651.
2. Sven Apel, Don S. Batory, Christian Kästner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines. In Springer Berlin Heidelberg. https://api.semanticscholar.org/CorpusID:28767337
3. Clafer: unifying class and feature modeling
4. Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata
5. Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Software Product Lines, Henk Obbink and Klaus Pohl (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 7–20.