A new modeling formalism and automata model generator for a class of discrete event systems | IEEE Conference Publication | IEEE Xplore