Artur Boronat José Meseguer MOMENT2: EMF Model Transformations in Maude. 178-179 2009 JISBD conf/jisbd/2009 db/conf/jisbd/jisbd2009.html#BoronatM09