Gravar-mail: Analysis of Intelligent Transportation Systems Using Model-Driven Simulations