Guo, et al.. State Space Reduction in Modeling Checking Parameterized Cache Coherence Protocol by Two-dimensional Abstraction. Springer Nature, Apr. 2012, doi:10.1007/s11227-012-0755-0.