Luis Pedro Levi Lucio Didier Buchs Principles for System Prototype and Verification Using Metamodel Based Transformations. 10-17 2006 conf/rsp/2006 IEEE International Workshop on Rapid System Prototyping http://doi.ieeecomputersociety.org/10.1109/RSP.2006.29 db/conf/rsp/rsp2006.html#PedroLB06