Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines. - Marco Ottavi; Gian Carlo Cardarilli; D. Cellitti; Salvatore Pontarelli; Marco Re; Adelio Salsano (DFT, 2001)