operation. In case the [...] StateMachine.PollRequestResult| . In case the
in case of RTS [...] ’s needed only in case of
case of the producer [...] case of the consumer
assumed. This case [...] case the module [...] this case, the
assumed. This case [...] case the module [...] this case, the
registered use case. If [...] certificate store. hUseCase [...] registered use case