Text this: Model for a vehicle dynamics through a sequence of traffic lights