Matthew Wilding David A. Greve David Hardin Efficient Simulation of Formal Processor Models. 233-248 2001 18 Formal Methods in System Design 3 db/journals/fmsd/fmsd18.html#WildingGH01