Models and Technologies for Smart, Sustainable and Safe Transportation Systems