A compilation of work from internationally renowned authors, Model-Based Design for Embedded Systems elaborates on related practices and addresses the main facets of heterogeneous system design. Each chapter presents the results that have helped establish model-based design and continue to expand its parameters. The respective authors contribute their considerable expertise on the automation of design refinement and how to relate properties throughout this refinement while enabling analytic and synthetic qualities. Illustrating a broad and diverse spectrum of applications such as in automotive, aerospace, health care, and consumer electronics, this volume provides designers with readily adaptable modeling solutions for their own practice.