Car*&

SketchSystems.spec

Car*&

  insert KEY -> EngineOff

  Engine*
    EngineOff*
      turn KEY -> EngineOn
    EngineOn
      turn KEY -> EngineOff
      
  Key?
    insert KEY -> KeyInserted
    remove KEY -> KeyRemoved
    KeyRemoved*
    KeyInserted
      turn KEY -> KeyInserted

  Left Front Door?*
    LockedLFD*
      unlock LFD -> ClosedLFD
      unlock ALL -> ClosedLFD
    ClosedLFD
      open LFD -> OpenLFD
      lock LFD -> LockedLFD
      lock ALL -> ClosedLFD
    OpenLFD
      close LFD -> ClosedLFD

  Right Front Door?*
    LockedRFD*
      unlock RFD -> ClosedRFD
      unlock ALL -> ClosedRFD
    ClosedRFD
      open RFD -> OpenRFD
      lock RFD -> LockedRFD
      lock ALL -> LockedRFD
    OpenRFD
      close RFD -> ClosedRFD

  Left Rear Door?*
    LockedLRD*
      unlock LRD -> ClosedLRD
      unlock ALL -> ClosedLRD
    ClosedLRD
      open LRD -> OpenLRD
      lock LRD -> LockedLRD
      lock ALL -> LockedLRD
    OpenLRD
      close LRD -> ClosedLRD

  Right Rear Door?*
    LockedRRD*
      unlock RRD -> ClosedRRD
      unlock ALL -> ClosedRRD
    ClosedRRD
      open RRD -> OpenRRD
      lock RRD -> LockedRRD
      lock ALL -> LockedRRD
    OpenRRD
      close RRD -> ClosedRRD

SketchSystems_prototype.js

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