A new modeling formalism and automata model generator for a class of discrete event systems. - Vigyun Chandra; R. Kumar (ACC, 2001)