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