@ARTICLE{STTT04, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Finite Horizon Analysis of Markov Chains with the Murphi Verifier}, 
	doi = {10.1007/s10009-005-0216-7},
	journal = {International Journal on Software Tools for Technlogy Transfer},
	editor = {Springer-Verlag},

	pages = {397--410},
	year = {2006},
	month = {8},
	volume = {8},
	number = {4}
	
}