A translation based method for the timed analysis of scheduling extended time Petri nets | IEEE Conference Publication | IEEE Xplore