BibTex format
@techreport{Nickovic:2009:10.25561/95273,
author = {Nickovic, D and Piterman, N},
booktitle = {Departmental Technical Report: 09/2},
doi = {10.25561/95273},
publisher = {Department of Computing, Imperial College London},
title = {From MTL to deterministic timed automata},
url = {http://dx.doi.org/10.25561/95273},
year = {2009}
}