691864.fig.006
Figure 6: TLDM of the example in Listing 22.