Global Specification and Validation of Embedded Systems - Nicolescu, G. (Springer Netherlands, 2020)