PASCAL: An architecture for proactive auto-scaling of distributed services. - Federico Lombardi; Andrea Muti; Leonardo Aniello; Roberto Baldoni; Silvia Bonomi; Leonardo Querzoni (Future Gener. Comput. Syst., 2019)