Extended abstract: organizing automaton specifications to achieve faithful representation | IEEE Conference Publication | IEEE Xplore