Ilan Beer Shoham Ben-David Cindy Eisner Daniel Geist Leonid Gluhovsky Tamir Heyman Avner Landver P. Paanah Yoav Rodeh G. Ronin Yaron Wolfsthal RuleBase: Model Checking at IBM. 480-483 1997 conf/cav/1997 CAV db/conf/cav/cav97.html#BeerBEGGHLPRRW97 http://dx.doi.org/10.1007/3-540-63166-6_53