1. Dierks, H.: Time, Abstraction and Heuristics – Automatic Verification and Planning of Timed Systems using Abstraction and Heuristics. Technical report, University of Oldenburg (2006)
2. Olderog, E.R., Dierks, H.: Moby/RT: A Tool for Specification and Verification of Real-Time Systems. J. UCS 9, 88–105 (2003)
3. Dierks, H.: Specification and Verification of Polling Real-Time Systems. PhD thesis, University of Oldenburg (1999)
4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
5. Lecture Notes in Computer Science;R. Alur,1990