[UPDATE]) Variable := <variable name [...] [UPDATE] Variable :=

the variable x [...] time is needed [...] for the time duration t

until the variable x [...] step module MoveBarrierForTime [...] of module MoveBarrierForTime

of persistent variables [...] . Variables can be assigned [...] of Persistent Variables

to the declaration of variables [...] to address a variable of a [...] /Os, arrays with variable

variables can [...] of the persistence channel a time [...] variable whenever

between variable name and value [...] as separator): <Time [...] with a time stamp

variable of type String [...] of the variable> 150 Persistent variable

with the given time [...] by the variable xPushLong . The variable xPush is TRUE ,

the variables are stored [...] during the storage of variables [...] Manager checks the time