<?xml version="1.0" encoding="UTF-8"?>
<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" initial="GUEST">
  <state id="GUEST">
    <transition target="REGISTERED" event="UserEvent.REGISTER"/>
  </state>
  <state id="REGISTERED">
    <transition target="VERIFIED" event="UserEvent.VERIFY"/>
  </state>
  <state id="VERIFIED">
  </state>
</scxml>

