Reviewer
>
Provided PTC reviews
>
User defined reviews
>
State name not unique (Reviewer Review)
State name not unique (Reviewer Review)
All states have unique names as this simplifies the maintenance of a statechart.