System-level Test and Validation of Hardware/Software Systems - Reorda, Matteo Sonza (Springer London, 2020)