An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems