Control of temporal constraints based on dioid algebra for timed event graphs | IEEE Conference Publication | IEEE Xplore