From Specification To Embedded Systems Application door A. Rettberg & Mauro C. Zanella