@Article{EPB18, author={Alexandros Evangelidis and David Parker and Rami Bahsoon}, title={Performance Modelling and Verification of Cloud-based Auto-Scaling Policies}, journal={Future Generation Computer Systems}, year={2018}, volume={87}, number={}, pages={629--638}, publisher={Elsevier}, month={}, note={}, key={} }