Matteo Reorda, Zebo Peng and Massimo Violante System-level Test and Validation of HardwareSoftware Systems Subjects--Topical Terms: Computer science, information & general works