Shmuel Katz, Orna Grumberg. A Framework for Translating Models and Specifications. In Michael J. Butler, Luigia Petre, Kaisa Sere, editors, Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Volume 2335 of Lecture Notes in Computer Science, pages 145-164, Springer, 2002. [doi]
Abstract is missing.