Title: Design Principles for Embedded Systems