]>A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT : Figure 8
656810.fig.008
Figure 8: The state diagram of the capsule ConsumerTarget.