sur 8
Global Specification and Validation of Embedded Systems — G. Nicolescu, Ahmed A. Jerraya