on alarm state [...] specifies which states and state transitions

reads the state [...] and updates its state [...] .Element 2 reads the state

will get the new [...] variable which gets [...] to the active state. As a

. Colors Normal state The normal state [...] for the corresponding state

" alarm state FALSE [...] state <STATE> Alarm state: 0 = "normal" 1

Colors Normal state The normal state [...] for the corresponding state

Colors Normal state The normal state [...] for the corresponding state

Normal state The normal state [...] for the corresponding state

and the Variable property gets [...] for the switched-on state [...] for the switched-off state

in its normal state Note Note: The alarm state [...] in alarm state Note Note