Infrastructures and algorithms for testable and dependable systems-on-a-chip. - Carlo, Stefano Di (2003)