@TECHREPORT{jmaiel1,
  author = {Mohamed Jmaiel},
  title = {Specifying Communication Protocols with Temporal Logic},
  institution = {Technische Universit{\"a}t Berlin, Fachbereich Informatik},
  year = {1994},
  number = {94/16},
  month = {Jan.},
  owner = {mohamed},
  timestamp = {2009.11.03}
}