Ragnhild Van Der Straeten Viviane Jonckers Tom Mens A formal approach to model refactoring and model refinement. 139-162 2007 6 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-006-0025-9 db/journals/sosym/sosym6.html#StraetenJM07