(...) PROP_Counter Get [...] , the special Set and Get [...] : Manager_A User input

interrupts the current [...] , the currently active state [...] the transition is run. User

, the current state switches [...] User input

. Therefore, user input [...] To get a filtered view [...] , but are not currently displayed

condition gets the value [...] are user input of a visualization/user interface

for guard conditions User [...] by a user via a user [...] visualization as user