@InProceedings{johnsen10icfem,
  author =       {Einar Broch Johnsen and Olaf Owe and Rudolf Schlatte
                  and S.\ Lizeth {Tapia Tarifa}},
  title =        {Dynamic Resource Reallocation Between Deployment
                  Components},
  booktitle =    {Proc.\ International Conference on Formal
                  Engineering Methods ({ICFEM}'10)},
  pages =        {646--661},
  year =         2010,
  month =        nov,
  editor =       {J. S. Dong and H. Zhu},
  volume =       6447,
  series =      {Lecture Notes in Computer Science},
 publisher =    {Springer-Verlag},
}