A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism. - Gabriel A. Wainer; Ezequiel Glinsky; Peter MacSween (Model-Driven Software Development, 2005)