Intelligent Testing of Traffic Light Programs: Validation in Smart Mobility Scenarios | Publicación