Global specification and validation of embedded systems integrating heterogeneous components - Nicolescu, Gabriela; Jerraya, Ahmed (Springer Science+Business Media B.V., 2007)