Email Record: A formal specification and verification technique for cache coherence protocols /