The following publications are possibly variants of this publication:
- Model Checking Probabilistic Timed Automata with One or Two ClocksMarcin Jurdzinski, François Laroussinie, Jeremy Sproston. TACAS 2007: 170-184 [doi]
- Model Checking Timed Automata with One or Two ClocksFrançois Laroussinie, Nicolas Markey, Ph. Schnoebelen. concur 2004: 387-401 [doi]
- Symbolic Model Checking for Probabilistic Timed AutomataMarta Z. Kwiatkowska, Gethin J. Norman, Jeremy Sproston, Fuzhi Wang. formats 2004: 293-308 [doi]
- Symbolic model checking for probabilistic timed automataMarta Z. Kwiatkowska, Gethin J. Norman, Jeremy Sproston, Fuzhi Wang. iandc, 205(7):1027-1077, 2007. [doi]