[SM13] Amir Molzam Sharifloo and Andreas Metzger. MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. In Software Engineering for Self-Adaptive Systems, Springer. 2013. [Describes a cloud-based approach to the assurance of adaptive systems with an evaluation that uses PRISM for probabilistic model checking tasks.]
Notes: The original publication is available at link.springer.com.