Title: Technical Foundations of Embedded Systems