for exactly one cycle [...] TRUE : Action [...] A Output xDone BOOL TRUE

. Sends one [...] and xDone is TRUE [...] Abort BOOL TRUE : Aborts

for exactly one cycle [...] Done BOOL TRUE : Action [...] xBusy BOOL TRUE :

is calculated within one [...] TRUE : Starts [...] BOOL TRUE :

for exactly one cycle [...] To Output xDone BOOL TRUE [...] To xBusy BOOL TRUE :

for exactly one cycle [...] TRUE : Action [...] A Output xDone BOOL TRUE

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

are not equal if at least one [...] _ArrayOfBool_NotEqual BOOL TRUE

are not equal if at least one [...] _ArrayOfWString_NotEqual BOOL TRUE

are not equal if at least one [...] _ArrayOfWord_NotEqual BOOL TRUE