Mark K. Gardner Jane W.-S. Liu Analyzing Stochastic Fixed-Priority Real-Time Systems. 44-58 1999 conf/tacas/1999 TACAS http://link.springer.de/link/service/series/0558/bibs/1579/15790044.htm db/conf/tacas/tacas99.html#GardnerL99