Tamir Heyman Daniel Geist Orna Grumberg Assaf Schuster A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. 317-338 2002 21 Formal Methods in System Design 3 db/journals/fmsd/fmsd21.html#HeymanGGS02