@InProceedings{Hillebrand:ICCD05-309,
  author =       "Mark Hillebrand and {In der Rieden}, Thomas and
                 Wolfgang Paul",
  title =        "Dealing with {I/O} Devices in the Context of Pervasive
                 System Verification",
  booktitle =    "ICCD '05",
  year =         "2005",
  publisher =    "IEEE Computer Society",
  pages =        "309--316",
  ee =           "http://dx.doi.org/10.1109/ICCD.2005.42",
}