See MessageSequenceChart.