Traffic Light

SketchSystems.spec

Traffic Light
  Regular
    power outage->Power failure
    Green*
      tick->Yellow
    Yellow
      tick->Red
    Red
      tick->Green
    
  Power failure
    power restored->Regular
    Blinking
      tick->Blinking
  
  
Timer
  Idle
    start->Running
  Running
    reset->Idle
    tick-> done?
  done?
    time left->Running
    time elapsed->Idle

SketchSystems_prototype.js

function render(model){
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
}