Gavua EK, Kecskemeti G. ASM-based Formal Model for Analysing Cloud Auto-Scaling Mechanisms. IJCAI [Internet]. 2023 May 31 [cited 2025 Jun. 23];47(6). Available from: https://puffbird.ijs.si/index.php/informatica/article/view/4622