Daniel Gurovic, Wolfgang Fengler, Jürgen Nützel. Development of real-time system specifications through the refinement of duration interval Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000. pages 3098-3103, IEEE, 2000. [doi]
Abstract is missing.