@unpublished{BJKL02, <br>AUTHOR = {Beyer, S. and Jacobi, C. and Kroening, D. and Leinenbach, D.},<br>TITLE = {Correct Hardware by Synthesis from PVS},<br>YEAR = {2002},<br>URL = {http:///publikationen/BJKL02.pdf}, <br>}