On Clock-Aware LTL Properties of Timed Automata. - Peter Bezdek; Nikola Benes; Vojtech Havel; Jiri Barnat; Ivana Cerná (ICTAC, 2014)

LTL Model Checking of Parametric Timed Automata. - Peter Bezdek; Nikola Benes; Vojtech Havel; Jiri Barnat; Ivana Cerná (CoRR, 2014)

Language Emptiness of Continuous-Time Parametric Timed Automata. - Nikola Benes; Peter Bezdek; Kim Guldstrand Larsen; Jirí Srba (ICALP (2), 2015)

LTL Parameter Synthesis of Parametric Timed Automata. - Peter Bezdek; Nikola Benes; Jiri Barnat; Ivana Cerná (SEFM, 2016)

On clock-aware LTL parameter synthesis of timed automata. - Peter Bezdek; Nikola Benes; Ivana Cerná; Jiri Barnat (J. Log. Algebraic Methods Program., 2018)