Dimova, Dilyana Automation of Logic, MPI for Informatics, Max Planck Society;
Dimova, D. (2009). On the Translation of Timed Automata into First-order Logic. Master Thesis, Universität des Saarlandes, Saarbrücken.