H. Debbi, “Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking”, IJCAI, vol. 45, no. 4, Dec. 2021.