Modeling, specification and controller synthesis for discrete event systems | IEEE Conference Publication | IEEE Xplore