<?xml version="1.0"?>
<scxml xmlns="http://www.w3.org/2005/07/scxml"
       name="microwave"
       version="1.0"
       datamodel="ecmascript">

  <state id="duplicate">
    <transition event="turn.on" target="on"/>
  </state>
  
  <state id="duplicate"> <!-- ERROR: Duplicate state-->
    <transition event="turn.on" target="on"/>
  </state>
  
</scxml>