314 followers Model Transformation @ModelTransform REFINER: Towards Formal Verification of Model Transformations http://t.co/fwiyev30xR #springerlink 14 Jan 2015 Reply Repost Favourite