283 442 Embedded System Design Embedded Systems, Foundations of CyberPhysical Systems, and the Internet of Things