Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case | IEEE Conference Publication | IEEE Xplore