CTL for Test Information of Digital ICS - Kapur, Rohit (Springer US, 2002)