E. K. Gavua and G. Kecskemeti, “ASM-based Formal Model for Analysing Cloud Auto-Scaling Mechanisms”, IJCAI, vol. 47, no. 6, May 2023.