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

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