“ASM-Based Formal Model for Analysing Cloud Auto-Scaling Mechanisms”. Informatica 47, no. 6 (May 31, 2023). Accessed November 14, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/4622.