Modeling and Simulation of Intelligent Transportation Systems