Model Based Security Testing for Autonomous Vehicles