Global Specification and Validation of Embedded