1. Rajeev Alur Costas Courcoubetis and David Dill. 1993. Model-Checking in Dense Real-Time. Information and computation 104 1 (1993) 2--34. Rajeev Alur Costas Courcoubetis and David Dill. 1993. Model-Checking in Dense Real-Time. Information and computation 104 1 (1993) 2--34.
2. Automata for modeling real-time systems
3. Parametric real-time reasoning
4. Sven Apel Don Batory Christian Kästner and Gunter Saake. 2016. Feature-Oriented Software Product Lines. Springer. Sven Apel Don Batory Christian Kästner and Gunter Saake. 2016. Feature-Oriented Software Product Lines. Springer.
5. Feature Models, Grammars, and Propositional Formulas