Crucial for safety verification to prove a system won't crash.

It should be noted that the textbook’s is also available online, and some solution fragments circulating on the web correspond to that earlier version. The first edition has fewer chapters and a somewhat different exercise set. The second edition (2017) substantially revises and expands the content; therefore, a solution intended for the first edition may not align with the exercises in the second edition.

Demystifying Cyber-Physical Systems: A Guide to the Lee & Seshia Introduction to Embedded Systems

PDF files containing official solution excerpts for versions 2.0 and 2.2 are available online. These serve as a "preview" of the official manual's quality and depth.