Embedded Systems -- Modeling, Technology, and Applications