@inproceedings{BBH+14,
 author = {Peter Bezděk and Nikola Beneš and Vojtěch Havel and Jiří Barnat and Ivana Černá},
 booktitle = {International Colloquium on Theoretical Aspects of Computing (ICTAC)},
 pages = {46--60},
 publisher = {Springer},
 series = {LNCS},
 title = {{On Clock-Aware LTL properties of Timed Automata}},
 volume = {8687},
 year = {2014}
}