StateMachine : BOOL InOut: Scope Name Type [...] StateMachine BOOL Input b

StateMachine : BOOL InOut: Scope Name Type [...] StateMachine BOOL Input b

AcyclicCommunication : BOOL InOut: Scope Name Type [...] AcyclicCommunication BOOL Input x

AcyclicCommunication : BOOL InOut: Scope Name Type [...] AcyclicCommunication BOOL Input x

StateMachine : BOOL InOut: Scope Name Type [...] StateMachine BOOL Input b

StateMachine : BOOL InOut: Scope Name Type [...] StateMachine BOOL Input b

StateMachine : BOOL InOut: Scope Name Type [...] StateMachine BOOL Input b

AcyclicCommunication : BOOL InOut: Scope Name Type Input [...] AfterApplication BOOL Return Do

AcyclicCommunication : BOOL InOut: Scope Name Type Input [...] AfterApplication BOOL Return Do

AcyclicCommunication : BOOL InOut: Scope Name Type [...] AcyclicCommunication BOOL Input x