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