Models and Technologies for Intelligent Transportation Systems