Traffic Light*

SketchSystems.spec

Traffic Light*
  Green*
    timer -> Yellow

  Yellow
    timer -> Red

  Red
    timer -> Green

Pedestrian Light
  CountIn*
    timer -> Walk
  
  Walk
    timer -> CountOut

  CountOut

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