public RedLightPausedBeforeWaitingForTraffic() : base(
         ColourOptions.RedOnly,
         StatusOptions.NotHandlingTraffic,
         TIME_AFTER_RESETTING_TO_RED_BEFORE_CONSIDERING_TRAFFIC,
         StateTransition.Pop())
 {
 }