Handbook of Research on Embedded Systems Design