Smart city for VANETs using warning messages, traffic statistics and intelligent traffic lights (2012 INTELLIGENT VEHICLES SYMPOSIUMALCALÁ DE HENARES,