Jason Baumgartner Tamir Heyman Vigyan Singhal Adnan Aziz An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. 39-65 2003 23 Formal Methods in System Design 1 http://dx.doi.org/10.1023/A:1024485130001 db/journals/fmsd/fmsd23.html#BaumgartnerHSA03