Generation of correct-by-construction code from design models for embedded systems. - Federico Ciccozzi; Antonio Cicchetti; Mikael Krekola; Mikael Sjödin (SIES, 2011)

An Industrial Case Study on using Language Workbench Technology for Realizing Model-Driven Engineering. - Xi Zhu; Congchi Phung; Lars Pareto; Staffan Ehnebom; Mikael Krekola; Magnus Christerson; Mats Helander (MODELSWARD, 2014)