Modeling discrete-event systems with constraints | IEEE Conference Publication | IEEE Xplore