Modeling of discrete event systems using finite automata with variables | IEEE Conference Publication | IEEE Xplore