UTP — Fig. 28 and Fig. 29 use a syntax that have not been defined by U2TP

the special comment declares a default - its behavior is given in a
behavioral diagram.

Hence the right rectangular box in Fig. 28 is superfluous. Also, the
definition of the statemachine for the default (in Fig. 28 and Fig. 29)
should simply contain the default identifier - i.e. hweDefault - and not
<<default>> statemachine hweDefault - both <<default>> and statemachine
are superfluous?!

Furthermore: the use of statemachine within the header of a
statemachine's behavioral diagram is repeated - i.e. in Fig. 30 - I
could not find in the superstructure document that this would be allowed

see ptc/2004-04-10