Live Sequence Charts - Figure 2 3 From Transformation Of Live Sequence Charts To