A Transactive Operating Model for Smart Airport Parking Lots | IEEE Journals & Magazine | IEEE Xplore