A posteriori typing for model-driven engineering | Publicación