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.