A review of microservices autoscaling with formal verification perspective. - Jawaddi, Siti Nuraishah Agos; Johari, Muhammad Hamizan; Ismail, Azlan (Software: Practice & Experience, 2022)