An introduction to embedded systems with the focus on modeling, design, and analysis of cyber-physical systems. Applications include medical devices and systems, autonomous vehicles, robotics, consumer electronics, instrumentation, traffic control and safety, process control, energy management, smart sensors, and smart cities.