AbortProposed = FALSE ), [...] FALSE ; ELSIF i [...] FALSE ; ELSE (* ready
FALSE Error : x [...] .NO_ERROR , xBusy ⇒ FALSE [...] Error will be set to FALSE
FALSE Error : x [...] .NO_ERROR , xBusy ⇒ FALSE [...] Error will be set to FALSE
FALSE Error : x [...] .NO_ERROR , xBusy ⇒ FALSE [...] Error will be set to FALSE
1 signal is FALSE [...] 2 signal is FALSE [...] are FALSE when enabling S
starts FALSE : Action [...] aborts action FALSE :