Performance indicators of models of non-binary control automates | IEEE Conference Publication | IEEE Xplore