Model Based Design For Embedded Systems