Shmuel Katz Orna Grumberg A Framework for Translating Models and Specifications. 145-164 2002 conf/ifm/2002 IFM http://link.springer.de/link/service/series/0558/bibs/2335/23350145.htm db/conf/ifm/ifm2002.html#KatzG02