Embedded Software and Systems - Lee, Yann-Hang (Springer Berlin Heidelberg, 2020)