A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT

Figure 9

The structure diagram of the capsule HeatingSystem.