J-DES: A graphical interactive package for analysis and synthesis of discrete event systems | IEEE Conference Publication | IEEE Xplore