Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components - Nicolescu, G.; Jerraya, A. A. (Springer Netherlands, 2007)