Ironer&

SketchSystems.spec

Ironer&
  Motor
    reset -> Stopped
    Stopped*
      start -> Started
    Started
      stop -> Stopped
      Forward*
        curtain triggered -> Reverse
      Reverse
        curtain released -> Forward
  Burner
    Off*
      power on -> On
    On
      power off -> Off
      low gas pressure -> Failed
      stop -> Off

      Checking*
        check ok -> Sweeping
      Sweeping
        sweep timer done -> Ignition
      Ignition
        flame detected -> Operation
        ignition timeout -> Failed
      Operation
        flameout -> Failed
      Failed
        reset -> Checking

SketchSystems_prototype.js

function render(model){
  const stateName = (s) => {
    if (s.name === "root") { return ":"; }
    if (s.parent) { return `${stateName(s.parent)}:${s.name}`; }
    else { return s.name; }
  }
  let current_state_names = model.active_states.map(stateName).join(" ");
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_names}`);
}