@InProceedings{johnsen12icfem,
  author =       {Einar Broch Johnsen and Rudolf Schlatte and S.\ Lizeth {Tapia Tarifa}},
  title =        {Modeling Resource-Aware Virtualized Applications
                  for the Cloud in {Real-Time ABS}},
  editor =       {Toshiaki Aoki and Kenji Tagushi},
  booktitle =    {Proc.\ 14th International Conference on Formal Engineering Methods ({ICFEM}'12)},
  month =        nov,
  year =         2012,
  series =       {Lecture Notes in Computer Science},
  volume =       7635,
  pages =	 {71--86},
  publisher =    {Springer-Verlag},
}