@InProceedings{ECL09, author = {Doyen, L. and Geeraerts, G. and Raskin, J.F. and Reicher, J.}, title = {Realizability of Real-Time Logics}, OPTcrossref = {}, OPTkey = {}, booktitle = {Proceedings of FORMATS 2009, 7th International Conference on {F}ormal {M}odeling and {A}nalysis of {T}imed {S}ystems }, pages = {133--148}, year = {2009}, OPTeditor = {}, volume = {5813}, series = {Lecture Notes in Computer Science}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Springer} }