@Inproceedings{EPTCS228.3,
  author    = {Johnsen, Einar Broch and Pun, Ka I and Tapia Tarifa, S. Lizeth},
  year      = {2016},
  title     = {Modeling Deployment Decisions for Elastic Services with ABS},
  editor    = {Behjati, Razieh and Elmokashfi, Ahmed},
  booktitle = {{\rm Proceedings of the First International Workshop on}
               Formal Methods for and on the Cloud,
               {\rm Reykjavik, Iceland, 4th June 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {228},
  publisher = {Open Publishing Association},
  pages     = {16-26},
  doi       = {10.4204/EPTCS.228.3},
}