@Article{CT93,
author={G. Ciardo and K. Trivedi},
title={A Decomposition Approach for Stochastic Reward Net Models},
journal={Performance Evaluation},
year={1993},

volume={18},
number={1},
pages={37--59},
month={},
note={},
key={}
}