Koushik Sen, Mahesh Viswanathan, Gul A. Agha. VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy. pages 251-252, IEEE Computer Society, 2005. [doi]
Abstract is missing.