Hiroyuki Higuchi Fabio Somenzi Lazy group sifting for efficient symbolic state traversal of FSMs. 45-49 1999 conf/iccad/1999 ICCAD http://portal.acm.org/citation.cfm?id=339492.339567 db/conf/iccad/iccad1999.html#HiguchiS99