Sonza Reorda R. M. System-level Test and Validation of Hardware/Software Systems / edited by Matteo Sonza Reorda, Zebo Peng, Massimo Violante. // Springer e-books. URL: http://dx.doi.org/10.1007/1-84628-145-8