Model based Design of Embedded SW