From Specification to Embedded Systems Application - Achim Rettberg, Mauro C. Zanella, Franz J. Rammig ((IFIP Advances in Information and Communication Technology))