[IEEE 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) - The Hague, Netherlands (Oct. 10-13, 2004)] 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) - A discrete event systems approach to online testing of digital VLSI circuits