International Workshop: ModEasy ’07: Model Driven Design for Automotive Safety Embedded Systems