www.prismmodelchecker.org
[LJL+12] Lixing Li, Zhi Jin, Ge Li, Liwei Zheng and Qiang Wei . Modeling and Analyzing the Reliability and Cost of Service Composition in the IoT: A Probabilistic Approach. In Proc. 19th IEEE International Conference on Web Services (ICWS'12), pages 584-591 . 2012. [Uses PRISM to analyse compositions of web services.]
Links: [Google] [Google Scholar]

Publications