<?xml version="1.0"?>
<!-- we test that states are removed from the active states list as they are exited.  When s01's onexit handler
fires, s011 should not be on the active state list, so in(S011) should be false, and event1 should not
be raised.  Therefore the timeout should fire to indicate success   -->


<scxml initial="s0" version="1.0" conf:datamodel=""  xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance">

     
<state id="s0" initial="s01">
  <onentry>
    <send event="timeout" conf:delay="1"/>
    </onentry>
  
  <transition event="timeout" conf:targetpass=""/> 
  <transition event="event1" conf:targetfail=""/>
  
  <state id="s01" initial="s011">
    <onexit>
     <if conf:inState="s011">
       <raise event="event1"/>
       </if>
       </onexit>
       
    <state id="s011">
      <transition target="s02"/>
      </state>
  </state> <!-- end s01 -->

<state id="s02"/>

</state> <!-- end s0 -->
 
<conf:pass/>
<conf:fail/>
</scxml>