Automaton-Based Data Consistency Detection | IEEE Conference Publication | IEEE Xplore