@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={}
}