Gavua, E. K. and Kecskemeti, G. (2023) “ASM-based Formal Model for Analysing Cloud Auto-Scaling Mechanisms”, Informatica, 47(6). doi: 10.31449/inf.v47i6.4622.