"Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components" - читать интересную книгу автора (G. Nicolescu, Ahmed A. Jerraya)