Giuseppe Della Penna Benedetto Intrigila Igor Melatti Enrico Tronci Marisa Venturini Zilli Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. 58-71 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=58 2003 conf/ictcs/2003 ICTCS db/conf/ictcs/ictcs2003.html#PennaIMTZ03