1. Parametric real-time reasoning
2. Étienne André . 2021. IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability . In Computer Aided Verification, Alexandra Silva and K. Rustan M. Leino (Eds.). Springer International Publishing , Cham . 552–565. isbn:978-3-030-81685-8 Étienne André. 2021. IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability. In Computer Aided Verification, Alexandra Silva and K. Rustan M. Leino (Eds.). Springer International Publishing, Cham. 552–565. isbn:978-3-030-81685-8
3. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata