System-level test and validation of hardware/software systems. - Sonza Reorda, M.,; Peng, Z.,; Violante, M., (Springer,, 2005)