Arnaud Durand Modeling Cache Coherence Protocol - A Case Study with FLASH. 111-126 1998 Workshop on Abstract State Machines db/conf/asm/asm98.html#Durand98