A method for estimating the holding times in timed event graphs | IEEE Conference Publication | IEEE Xplore