Embedded System Design - Springer