314 followers Model Transformation @ModelTransform An Institution for Alloy and Its Translation to Second-Order Logic http://t.co/qns7na0Wdk #springerlink 23 Feb 2014 Reply Repost Favourite