The Patricia testability analysis tool. - M. Hadjinicolaeu; N. Burgess; Donatella Sciuto; G. Buananno; Patrizia Cavalloro; Giuseppe Zaza (Microprocessing and Microprogramming, 1991)