@InProceedings{sanchez05expressive,
  author = 	 {C\'esar S\'anchez and Matteo Slanina and Henny
                  B. Sipma and Zohar Manna},
  title = 	 {Expressive Completeness of an Event-Pattern Reactive
                  Programming Language},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {25th {IFIP} {WG} 2.6 International Conference on Formal
                  Techniques for Networked and Distributed Systems (FORTE'05)},
  pages = 	 {529--532},
  year = 	 {2005},
  editor = 	 {Farn Wang},
  volume = 	 {3731},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  address = 	 {Taipei, Taiwan},
  month = 	 {October},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTannote = 	 {}
}