Ana Busic Jean-Michel Fourneau Bounding transient and steady-state dependability measures through algorithmic stochastic comparison. 11-12 2006 34 SIGMETRICS Performance Evaluation Review 2 http://doi.acm.org/10.1145/1168134.1168141 db/journals/sigmetrics/sigmetrics34.html#BusicF06