A TOOLED APPROACH FOR DESIGNING EXECUTABLE AND VERIFIABLE MODELING LANGUAGES. Issue 4 (December 2015)