A-posteriori typing for Model-Driven Engineering | IEEE Conference Publication | IEEE Xplore