Multi-view modeling to support embedded systems engineering in SysML
Specification of graph translators with triple graph grammars