@inproceedings{HIP05,
AUTHOR = {Hillebrand, M. and In der Rieden, T. and Paul, W.J.},
TITLE = {Dealing with I/O Devices in the Context of Pervasive System Verification},
YEAR = {2005},
PAGES = {309-316},
BOOKTITLE = {23nd IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, Proceedings},
PUBLISHER = {IEEE},
EE = {http://dx.doi.org/10.1109/ICCD.2005.42},
}