In the specification the word "state" is used to refer to different things, sometimes even in the same paragraph: - continuous-time state - discrete state - FMU state - mode (state in the state machine) I suggest to use the above terms consistently.