@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}
}