UML-2.5.1: Has an incorrect local Transition with same source and vertex in 'Figure 14.34 Local Transitions'
Entry points represent termination points (sources) for incoming Transitions and origination points (targets) for Transitions that terminate on some internal Vertex of the composite State. Source Unified Modeling Language 2.5.1
Transition::target : Vertex [1..1] ... Designates the target Vertex that is reached when the Transition is taken. Source Unified Modeling Language 2.5.1
A Transition represents an arc between exactly one source Vertex and exactly one Target vertex (the source and targets may be the same Vertex). It may form part of a compound transition, which takes the StateMachine from one steady State configuration... Source Unified Modeling Language 2.5.1
