From Specification to Embedded Systems Application - Rettberg, Achim (Springer US, 2020)