Luis Pedro Levi Lucio Didier Buchs System Prototype and Verification Using Metamodel-Based Transformations. 2007 8 IEEE Distributed Systems Online 4 http://doi.ieeecomputersociety.org/10.1109/MDSO.2007.22 db/journals/dsonline/dsonline8.html#PedroLB07