Giorgio Delzanno Constraint-Based Verification of Parameterized Cache Coherence Protocols. 257-301 2003 23 Formal Methods in System Design 3 http://dx.doi.org/10.1023/A:1026276129010 db/journals/fmsd/fmsd23.html#Delzanno03