Pontus Boström Mats Neovius Ian Oliver Marina A. Waldén Formal Transformation of Platform Independent Models into Platform Specific Models. 186-200 2007 conf/b/2007 B http://dx.doi.org/10.1007/11955757_16 db/conf/b/b2007.html#BostromNOW07