System-level test and validation of hardware/software systems - Sonza Reorda, M.; Peng, Zebo.; Violante, M. (Springer series in advanced microelectronics,)