Analyzing Stochastic Fixed-Priority Real-Time Systems. Mark K. Gardner, Jane W. S. Liu. In Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Joint European Conferences on Theory and Practice of Software, March 1999. Also in Lecture Notes in Computer Science, Vol. 1579