@book{BP05, <br>AUTHOR = {Borrione, D. and Paul, W.J.},<br>TITLE = {Correct Hardware Design and Verification Methods. Proc. CHARME 05},<br>VOLUME = {3725}, <br>YEAR = {2005},<br>SERIES = {LNCS},<br>PUBLISHER = {Springer},<br>EE = {http://www.springerlink.de/content/978-3-540-29105-3/#section=571473&page=1},<br>}