Andreas Apostolakis Dimitris Gizopoulos Mihalis Psarakis Danilo Ravotto Matteo Sonza Reorda Test Program Generation for Communication Peripherals in Processor-Based SoC Devices. 52-63 2009 26 IEEE Design & Test of Computers 2 http://dx.doi.org/10.1109/MDT.2009.43 db/journals/dt/dt26.html#ApostolakisGPRR09