Tearing based automatic abstraction for CTL model checking. - Woohyuk Lee; Abelardo Pardo; Jae-Young Jang; Gary D. Hachtel; Fabio Somenzi (ICCAD, 1996)