sur 9
System-level Test and Validation of Hardware/Software Systems — Matteo Sonza Reorda, Zebo Peng, Massimo Violante