System-level test and validation of hardware/software systems / ed. R. M. Sonza Reorda, 2005 r=on-line