The solutions provided for the early chapters (Models, Actions, and State Machines) are exemplary in how they force the reader to visualize logic. Unlike a solution set for a Calculus textbook, where the steps are algorithmic, the solutions here are architectural. When reviewing the solutions for and especially Extended State Machines (EFSMs) , the manual provides a critical service: it formalizes ambiguity. It shows that there is rarely one "right" code implementation, but there is certainly a "correct" architectural model.
Embedded systems have several characteristics that distinguish them from general-purpose computers: introduction to embedded systems lee seshia solution manual