@inproceedings{johnsen11facs,
  author =	 {Einar Broch Johnsen and Rudolf Schlatte and S.
                  Lizeth {Tapia Tarifa}},
  title =	 {A Formal Model of Object Mobility in
                  Resource-Restricted Deployment Scenarios},
  editor =	 {Farhad Arbab and Peter \"Olveczky},
  booktitle =	 {Proc. 8th International Symposium on Formal Aspects
                  of Component Software ({FACS} 2011)},
  year =	 2012,
  series =	 {Lecture Notes in Computer Science},
  volume =	 7253,
  publisher =	 {Springer-Verlag},
  pages =	 {187--204},
}