Marcelo Glusman Gila Kamhi Sela Mador-Haim Ranan Fraer Moshe Y. Vardi Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. 176-191 2003 conf/tacas/2003 TACAS http://link.springer.de/link/service/series/0558/bibs/2619/26190176.htm db/conf/tacas/tacas2003.html#GlusmanKMFV03