Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems | IEEE Conference Publication | IEEE Xplore