Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications. - A. J. Field; Peter G. Harrison; K. Kanani (CATS, 1998)