@TechReport{Margaria91,
  author =    "Tiziana Margaria",
  title =     "First-{O}rder theories for the verification of complex {FSM}s",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-30-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-30.ps.gz",
}