A review of microservices autoscaling with formal verification perspective. - Siti Nuraishah Agos Jawaddi; Muhammad Hamizan Johari; Azlan B. Ismail (Softw. Pract. Exp., 2022)