Gavua, E. K.; Kecskemeti, G. ASM-Based Formal Model for Analysing Cloud Auto-Scaling Mechanisms. IJCAI 2023, 47.