Directed control of discrete event systems: optimization based approach | IEEE Conference Publication | IEEE Xplore