Testable synthesis of high complex control devices. - Franco Fummi; U. Rovati; Donatella Sciuto (EURO-DAC, 1995)

Functional design for testability of control-dominated architectures. - Franco Fummi; U. Rovati; Donatella Sciuto (ACM Trans. Design Autom. Electr. Syst., 1997)