On-line control of manufacturing systems represented as timed event graphs | IEEE Conference Publication | IEEE Xplore