Johnsen, Schlatte, Tarifa, 2012. A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-35743-5_12