Technical Foundations of Embedded Systems