www.prismmodelchecker.org
[JHK02] D. Jansen, H. Hermanns and J.-P. Katoen. A Probabilistic Extension of UML Statecharts Specification and Verification. In Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'02), volume 2469 of LNCS, pages 355-374, Springer-Verlag. September 2002. http://depend.cs.uni-sb.de/?id=200
Notes: The original publication is available at www.springerlink.com.

Publications