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