Richard Raimi James Lear Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking. 79-94 2002 21 Formal Methods in System Design 1 db/journals/fmsd/fmsd21.html#RaimiL02 http://dx.doi.org/10.1023/A:1016044019648