Henschen L. Embedded System Design. Methodologies and Issues 2024