System-level Test and Validation of Hardware/Software Systems (Springer Series in Advanced Microelectronics, Band 17)