Abhishek Dubey Derek Riley Sherif Abdelwahed Ted Bapty Modeling and Analysis of Probabilistic Timed Systems. 69-78 2009 ECBS http://dx.doi.org/10.1109/ECBS.2009.44 conf/ecbs/2009 db/conf/ecbs/ecbs2009.html#DubeyRAB09