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