2023. ASM-based Formal Model for Analysing Cloud Auto-Scaling Mechanisms. Informatica. 47, 6 (May 2023). DOI:https://doi.org/10.31449/inf.v47i6.4622.