Title: Foundations of Embedded Systems