Checking cache-coherence protocols with TLA\(^+\)
scientific article; zbMATH DE number 1908521