An abstraction algorithm for the verification of level-sensitive latch-based netlistsJason BaumgartnerTamir Heymanet al.2003Formal Methods in System Design