@InProceedings{GGRS,
  author = 	 {Di Giampaolo, B. and Geeraerts, G and Raskin, J.F. and Sznajder, N. },
  title = 	 {Safraless procedures for timed specifications},
 
  booktitle = {Proceedings of FORMATS 2010, 8th International Conference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems},
  pages = 	 {2--22},
  year = 	 {2010},
  editor = 	 {Springer},
  volume = 	 {6246},
  series = 	 {Lecture Notes in Computer Science},
  url = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/safraless.pdf}
}