SCCD/test_files/semantics/big_step_maximality/statechart_flat.xml

<?xml version="1.0" ?>
<statechart>
  <inport name="in">
    <event name="start"/>
  </inport>

  <outport name="out">
    <event name="in_b"/>
    <event name="in_c"/>
  </outport>
  
  <root initial="a">
    <state id="a">
      <transition target="/b"/>
    </state>
    <state id="b">
      <onentry>
        <raise event="in_b"/>
      </onentry>
      <transition target="/c"/>
    </state>
    <state id="c">
      <onentry>
        <raise event="in_c"/>
      </onentry>
    </state>
  </root>
</statechart>