Principles for System Prototype and Verification Using Metamodel Based Transformations | IEEE Conference Publication | IEEE Xplore