A Novel Control-Oriented Cell Transmission Model Including Service Stations on Highways | IEEE Conference Publication | IEEE Xplore