TASTE — Using Model-Driven Code Generation for Safety-Critical Targets: Invited Talk at the 1st International Workshop on Methods and Tools for Rigorous System Design