A PosterioriTyping for Model-Driven Engineering | Publicación