Embedded Control System Design: A Model Based Approach