From Specification to Embedded Systems Application