Model Driven Engineering for Safety Relevant Embedded Systems