Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. - Limor Fix; Orna Grumberg; Amnon Heyman; Tamir Heyman; Assaf Schuster (Int. J. Found. Comput. Sci., 2007)