Giuseppe Della Penna Benedetto Intrigila Igor Melatti Enrico Tronci Marisa Venturini Zilli Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. 394-409 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2860&spage=394 2003 conf/charme/2003 CHARME db/conf/charme/charme2003.html#PennaIMTZ03a