@article{DBLP:journals/pe/TaiSACT04,
author = {Ann T. Tai and
William H. Sanders and
Leon Alkalai and
Savio N. Chau and
Kam S. Tso},
title = {Performability analysis of guarded-operation duration: a
translation approach for reward model solutions},
journal = {Perform. Eval.},
volume = {56},
number = {1-4},
year = {2004},
pages = {249-276},
ee = {http://dx.doi.org/10.1016/S0166-5316(03)00138-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}