Development of real-time system specifications through the refinement of duration interval Petri nets | IEEE Conference Publication | IEEE Xplore