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