Foundations of Embedded Systems