SCCD/test/test_files/semantics/event_lifeline/statechart_flat.xml

<?xml version="1.0" ?>
<statechart>
  <semantics/>
  
  <root initial="a">
    <state id="a">
      <transition event="e" port="in" target="/b">
        <raise event="f"/>
      </transition>
    </state>
    <state id="b">
      <onentry>
        <raise event="in_b" port="out"/>
      </onentry>
      <transition event="f" target="/c"/>
    </state>
    <state id="c">
      <onentry>
        <raise event="in_c" port="out"/>
      </onentry>
    </state>
  </root>
</statechart>