Analyzing Energy-Efficient and Kubernetes-Based Autoscaling of Microservices Using Probabilistic Model Checking: Analyzing Energy-Efficient and Kubernetes-Based...: S. N. Agos Jawaddi et al. - Agos Jawaddi, Siti Nuraishah; Ismail, Azlan; Sulaiman, Mohd Suffian; Cardellini, Valeria (Journal of Grid Computing, 2025)