Fady Copty Amitai Irron Osnat Weissberg Nathan P. Kropp Gila Kamhi Efficient Debugging in a Formal Verification Environment. 275-292 2001 conf/charme/2001 CHARME http://link.springer.de/link/service/series/0558/bibs/2144/21440275.htm db/conf/charme/charme2001.html#CoptyIWKK01