Modeling and Analyzing the Reliability and Cost of Service Composition in the IoT: A Probabilistic Approach
PRISM 4.0: Verification of Probabilistic Real-time Systems