Building Automation and Smart Cities: An Integration Approach Based on a Service-Oriented Architecture | IEEE Conference Publication | IEEE Xplore