System Prototype and Verification Using Metamodel-Based Transformations | IEEE Journals & Magazine | IEEE Xplore