Model-Based Design in a Seamless Embedded Software Process