Embedded Systems Specification and Design Languages - Villar, Eugenio (Springer Netherlands, 2020)