Title: Handbook of Research on Embedded Systems Design