An Automatic Mapping Mechanism for Formalizing Domain-Specific Metamodels | IEEE Conference Publication | IEEE Xplore