Models and technologies for intelligent transportation systems