Synthesis of supervisory controllers based on a novel representation of condition/event systems | IEEE Conference Publication | IEEE Xplore