Analyzing Stochastic Fixed-Priority Real-Time Systems.

Mark K. Gardner, Jane W.-S. Liu

Browse the full TACAS paper archive.