Ann T. Tai William H. Sanders Leon Alkalai Savio N. Chau Kam S. Tso Performability analysis of guarded-operation duration: a translation approach for reward model solutions. 249-276 2004 56 Perform. Eval. 1-4 http://dx.doi.org/10.1016/S0166-5316(03)00138-X db/journals/pe/pe56.html#TaiSACT04