Synthesis for testability of large complexity controllers. - Franco Fummi; Donatella Sciuto; M. Serro (ICCD, 1995)