The StateMachine annex defines the HasEffect ReferenceType. It also states that it can be used on EventTypes (Transitions pointing to EventTypes). However, it is not clearly defined whether a Transition having an Event as Effect shall generate such Event every time it is triggered. My assumption is, that it is required. It would be good to make this more explicite in the specification.

For example:
Extend section B4.14
The semantic of this ReferenceType is to point form a Transition to something that will be effected when the Transition is triggered. In this annex we only define EventTypes as Effects. However, the ReferenceType is not restricted to point to EventTypes.
ADDED TEXT: If a Transition has an EventType as Effect, it shall generate such an Event every time it is triggered.