DOI,IST REx ID,Title of publication
10.1007/11867340_20,4374,From MITL to timed automata