Done is TRUE, the COV [...] Abort BOOL TRUE : Aborts [...] Done BOOL TRUE : Ready

Done is TRUE, result [...] Abort BOOL TRUE : Aborts [...] Done BOOL TRUE : Ready

Done is TRUE, result [...] Abort BOOL TRUE : Aborts [...] Done BOOL TRUE : Ready

Done is TRUE, result [...] Abort BOOL TRUE : Aborts [...] Done BOOL TRUE : Ready

to xEnable => TRUE [...] from on stage to another one [...] Enable BOOL TRUE Enable usi

of at most one task cycle [...] becomes TRUE , [...] is TRUE .

for exactly one cycle. x [...] is TRUE, the action

QualifiedOnly: True [...] QualifiedOnly: True [...] QualifiedOnly: True

to TRUE. InOut: Scope [...] Abort BOOL TRUE : Aborts [...] Done BOOL TRUE : Ready

and xDone is TRUE [...] Abort BOOL TRUE : Aborts [...] Done BOOL TRUE : Ready