Automatic Construction of On-line Checking Circuits Based on Finite Automata | IEEE Conference Publication | IEEE Xplore