On the Formalization of the Common Information Model Metaschema | Publicación