Gavua, Ebenezer Komla, and Gabor Kecskemeti. “ASM-Based Formal Model for Analysing Cloud Auto-Scaling Mechanisms”. Informatica 47, no. 6 (May 31, 2023). Accessed June 23, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/4622.