Towards Static Analysis of Executable DSMLs Using Model Typing. - Reza Gorgan Mohammadi; Ahmad Abdollahzadeh Barforoush (BMMDS/EMMSAD, 2015)