Dependable IoT Data Stream Processing for Monitoring and Control of Urban Infrastructures | IEEE Conference Publication | IEEE Xplore