@Article{albert14soca,
  author =       {Elvira Albert and Frank S. de Boer and Reiner H\"ahnle and Einar Broch Johnsen
                  and Rudolf Schlatte and S.\ Lizeth {Tapia Tarifa} and Peter Y. H. Wong},
  title =        {Formal Modeling and Analysis of Resource Management for Cloud 
                  Architectures: An Industrial Case Study using {Real-Time ABS}},
  journal =      {Journal of Service-Oriented Computing and Applications},
  year =         2014,
  volume={8},
  number={4},
  pages={323--339},
}