[Clark 95]
Clarke, Edmund M., et al. "Verification of the Futurebus+ Cache Coherence Protocol." Formal Methods in System Design 6, 2 (March 1995): 217-232.