Fady Copty Amitai Irron Osnat Weissberg Nathan P. Kropp Gila Kamhi Efficient debugging in a formal verification environment. 335-348 2003 4 STTT 3 http://dx.doi.org/10.1007/s10009-002-0097-y db/journals/sttt/sttt4.html#CoptyIWKK03