Visibility of changes

Statemachine to demonstrate different priorities

STATEMACHINE

changes are only visible after the step is completed (i.e. in the next step)

special syntax has to be used to access in-step changes

RHAPSODY, UML

changes are "immediate", therefore we need to distinguish micro-steps and sequence them properly