In the attached project, the the initial transition of the state machine elaborates a normal event e, not the INITIALISATION. However, the generated context from the state machines diagram is missing the NULL state constant, which is required for the INITIALISATION. Furthermore, a guard for event e is missing (stating that the state is in the NULL state).