Eran Gery David Harel Eldad Palachi Rhapsody: A Complete Life-Cycle Model-Based Development System. 1-10 2002 conf/ifm/2002 IFM http://link.springer.de/link/service/series/0558/bibs/2335/23350001.htm db/conf/ifm/ifm2002.html#GeryHP02