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