Modeling and Key Technologies of a Data-Driven Smart City System | IEEE Journals & Magazine | IEEE Xplore