Reza Gorgan Mohammadi, Ahmad Abdollahzadeh Barforoush. Towards Static Analysis of Executable DSMLs Using Model Typing. In Khaled Gaaloul, Rainer Schmidt, Selmin Nurcan, Sérgio Guerreiro, Qin Ma 0002, editors, Enterprise, Business-Process and Information Systems Modeling - 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings. Volume 214 of Lecture Notes in Business Information Processing, pages 429-444, Springer, 2015. [doi]