Traffic Light*

SketchSystems.spec

Traffic Light*
  Green*
    timer -> Red  

  Red
    timer -> Yellow
    Walk
      tick -> Stop
    Stop
      tick -> Yellow

  Yellow
    timer -> Green

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}`);
}