Yael Abarbanel Ilan Beer Leonid Gluhovsky Sharon Keidar Yaron Wolfsthal FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. 538-542 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#AbarbanelBGKW00