Dependability Modeling and Assessment in UML-Based Software Development

Figure 4

Composition of the DSPN subnets over interface places.