RuleBase: Model Checking at IBM. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Daniel Geist; Leonid Gluhovsky; Tamir Heyman; Avner Landver; P. Paanah; Yoav Rodeh; G. Ronin; Yaron Wolfsthal (CAV, 1997)

FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. - Yael Abarbanel; Ilan Beer; Leonid Gluhovsky; Sharon Keidar; Yaron Wolfsthal (CAV, 2000)

Combining System Level Modeling with Assertion Based Verification. - Anat Dahan; Daniel Geist; Leonid Gluhovsky; Dmitry Pidan; Gil Shapir; Yaron Wolfsthal; Lyes Benalycherif; Romain Kamdem; Younes Lahbib (ISQED, 2005)

Formal Verification Analysis of Load-Voltage Power Control. - Mark Moulin; Leonid Gluhovsky; Daniel Geist (Intell. Autom. Soft Comput., 2006)