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