Development of real-time system specifications through the refinement of duration interval Petri nets. - Daniel Gurovic; Wolfgang Fengler 001; Jürgen Nützel (SMC, 2000)