Simulating an Autonomous Car at a Traffic Light