Automatic Construction of On-line Checking Circuits Based on Finite Automata. - Lucie Matuova; Jan Kastil; Zdenek Kotásek (DSD, 2014)