@TechReport{BolligLeucker04,                                               
  author =       "Benedikt Bollig and Martin Leucker",
  title =        "Message-Passing Automata are expressively equivalent to EMSO logic",
  institution =  "RWTH Aachen",
  year =         "2004",                                        
  number =       "AIB-2004-02",
  month =        feb,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-02.ps.gz"
}