Towards Programming participatory IoT applications with mobility for Smart Cities | IEEE Conference Publication | IEEE Xplore