Giuseppe Della Penna Benedetto Intrigila Igor Melatti Enrico Tronci Marisa Venturini Zilli Finite horizon analysis of Markov Chains with the Murphi verifier. 397-409 2006 8 STTT 4-5 http://dx.doi.org/10.1007/s10009-005-0216-7 db/journals/sttt/sttt8.html#PennaIMTZ06