public void Toggle() => machine.Fire(LampTrigger.Toggle);
 private void Timer_Elapsed(object sender, System.Timers.ElapsedEventArgs e)
 {
     machine.Fire(TrafficLightTrigger.Timer);
 }
 public void Push() => machine.Fire(LampTrigger.Push);
 public override void PushUp() => machine.Fire(LampTrigger.PushUp);
 public override void Push()
 {
     machine.Fire(LampTrigger.Push);
 }
 private void Timer_Elapsed(object sender, ElapsedEventArgs e)
 {
     machine.Fire(LampTrigger.Timer);
 }