@Article{DIM+06,
author={G. {Della Penna} and B. Intrigila and I. Melatti and E. Tronci and M. Venturini Zilli},
title={Finite Horizon Analysis of {Markov} Chains with the {Murphi} Verifier},
journal={International Journal on Software Tools for Technology Transfer (STTT)},
year={2006},

volume={8},
number={4-5},
pages={397-409},
publisher={Springer},
month={},
note={},
key={}
}