Embedded System Design: Methodologies and Issues - Lawrence J. Henschen (Elsevier, 2024)