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