@InProceedings{EPB17,
author={Alexandros Evangelidis and David Parker and Rami Bahsoon},
title={Performance Modelling and Verification of Cloud-based Auto-Scaling Policies},
booktitle={Proc. IEEE/ACM 16th International Symposium on Cluster, Cloud and Grid Computing (CCGrid'16)},
year={2016},

editors={},
pages={355--364},
organization={},
publisher={IEEE},
series={},
volume={},
address={},
month={},
note={},
key={}
}