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