Generating error control codes with automata and transducers - Konstantinidis, S (2016)