@InProceedings{Alkassar:VERIFY07-4,
  author =       "Eyad Alkassar and Mark Hillebrand and Steffen Knapp
                 and Rostislav Rusev and Sergey Tverdyshev",
  title =        "Formal Device and Programming Model for a Serial
                 Interface",
  booktitle =    "Proceedings, 4th International Verification Workshop
                 (VERIFY), Bremen, Germany",
  editor =       "Bernhard Beckert",
  pages =        "4--20",
  year =         "2007",
  series =       "CEUR Workshop Proceedings",
  volume =       "259",
  publisher =    "CEUR-WS.org",
  URL =          "http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-259/paper04.pdf",
}