Exploiting Vehicles’ Reputation to Mitigate DoS Attack In Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn - Volume 0MODELSWARD, 75-82, 2016 , Rome, Italy