: No operating time limit [...] To EXTENDS EdgeTriggeredTiming [...] defined operation FALSE

when the shutdown operation timed

: No operating time limit [...] defined operation FALSE [...] the defined operation

: No operating time limit [...] operation FALSE : Resets the defined operation

: No operating time limit [...] defined operation FALSE [...] the defined operation

: No operating time limit [...] defined operation FALSE [...] the defined operation

: No operating time limit [...] Tl EXTENDS EdgeTriggeredTiming [...] defined operation FALSE

: No operating time limit [...] operation FALSE : Resets the defined operation

: No operating time limit [...] operation FALSE : Resets the defined operation

SupervisorOperation [...] SupervisorOperation [...] for this operation: Sets timestamp