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