Does a trigger have to have the same name as the signal it refers to in a statechart? I noticed that it seems to be the case. If I have them as the same name, the simulation runs fine. However, the moment I change the trigger name to something else, even if it still has a valid specification in trigger i.e. a Signal spec, then the trigger does not work. The simulation reports it as not being defined. Can someone clarify?