Giacomo Bucci, Luigi Sassoli, Enrico Vicario. A discrete time model for performance evaluation and correctness verification of real time systems. In Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003. pages 134-143, IEEE, 2003. [doi]
Abstract is missing.