RoCoSys: A framework for coordination of mobile IoT devices