Средства и методы разработки

Мой вариант (прототридс + goto) 

char Svetofor(void){ 

  static uint8_t T; 

  static struct pt proc_rec;

  struct pt *pt = &proc_rec; 

  PT_BEGIN(pt); 

LIGHT_RED: 

  SetLight(Red); 

  T = SystemTime; 

  PT_WAIT_WHILE(pt, T - SystemTime < 30); 

  goto LIGHT_YELLOW; 

LIGHT_YELLOW: 

  SetLight(Yellow); 

  T = SystemTime; 

  PT_WAIT_WHILE(pt, T - SystemTime < 30); 

  goto LIGHT_GREEN; 

LIGHT_GREEN: 

  SetLight(Green); 

  T = SystemTime; 

  PT_WAIT_WHILE(pt, T - SystemTime < 30); 

  goto LIGHT_RED; 

  PT_END(pt); 

}