Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty. Modeling and Analysis of Probabilistic Timed Systems. In 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009. pages 69-78, IEEE Computer Society, 2009. [doi]
Abstract is missing.