www.prismmodelchecker.org
[JHK03] D. Jansen, H. Hermanns and J.-P. Katoen. A QoS-oriented extension of UML statecharts. In Proc. UML 2003: The Unified Modeling Language, volume 2863 of LNCS, pages 76-91, Springer-Verlag. October 2003. http://depend.cs.uni-sb.de/?id=200
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications