<?xml version="1.0"?>
<scxml xmlns="http://www.w3.org/2005/07/scxml"
       name="raise_verf"
       version="1.0"
       datamodel="ecmascript"
       initial="off">

  <state id="off">
    <onentry>
        <log expr="'turned off'"/>
    </onentry>

    <transition event="turn.on" target="on"/>
  </state>

  <state id="on">
    <onentry>
        <log expr="'turned on'"/>
        <raise event="auto.off"/>
        <log expr="'BEFORE auto.off'"/>
    </onentry>

    <transition event="turn.off" target="off"/>
    <transition event="auto.off" target="off"/>
  </state>
</scxml>