Smart city interoperability framework based on city infrastructure model and service prioritization | IEEE Conference Publication | IEEE Xplore