@Article{MCT94,
author={J. Muppala and G. Ciardo and K. Trivedi},
title={Stochastic reward nets for reliability prediction},
journal={Communications in Reliability, Maintainability and Serviceability},
year={1994},

publisher={SAE International},
volume={1},
number={2},
pages={9--20},
month={July},
note={},
key={}
}