Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon Park: A Simple Method for Parameterized Verification of Cache Coherence Protocols. FMCAD 2004: 382-398