System-level Test and Validation of Hardware/Software Systems - Sonza Reorda, Matteo; Peng, Zebo; Violante, Massimo (Springer London, 2005)