You are about to access our book library "Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components full version" .