Edmund M. Clarke Orna Grumberg Hiromi Hiraishi Somesh Jha David E. Long Kenneth L. McMillan Linda A. Ness Verification of the Futurebus+ Cache Coherence Protocol. 15-30 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#ClarkeGHJLMN93