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