In reply to Ofir:
Seperating your functionality to 3 interfaces with 3 agents might complicate your verification. As I guess all belongs together it is just easy having 1 agent. This will simplify your verification.
In reply to Ofir:
Seperating your functionality to 3 interfaces with 3 agents might complicate your verification. As I guess all belongs together it is just easy having 1 agent. This will simplify your verification.