author =	 {Frank S. de Boer and Reiner H\"ahnle and Einar Broch
                  Johnsen and Rudolf Schlatte and Peter Y. H. Wong},
  title =	 {Formal Modeling of Resource Management for Cloud
                  Architectures: An Industrial Case Study},
  booktitle =	 {Proc. European Conference on Service-Oriented and
                  Cloud Computing ({ESOCC} 2012)},
  editor =       {Flavio De Paoli and Ernesto Pimentel and Gianluigi Zavattaro},
  year =	 2012,
  series =	 {Lecture Notes in Computer Science},
  volume =       7592,
  pages =        {91--106},
  month =	 sep,
  publisher =	 {Springer-Verlag},