Applying parameterized model checking to real-life cache coherence protocols. - Vladimir Burenkov; Alexander Kamkin (EWDTS, 2016)