Examples of Mealy and Moor State Machines in Simulink Stateflow:
Conditional braching, transition label [a==1].
Statelabels
STATENAME
Outputs defined on transitions {b=1}. With Conditional transiations [a==1]{b=1}.
Statelabels :
STATENAME
code ie a=0;
Otherwise a statelabel may look like:
STATENAME
entry: code
during: code
exit: code
on event_name
bind: events

