Gavua, Ebenezer Komla, and Gabor Kecskemeti. 2023. “ASM-Based Formal Model for Analysing Cloud Auto-Scaling Mechanisms”. Informatica 47 (6). https://doi.org/10.31449/inf.v47i6.4622.