Figure: Aligning prose, MSC and state diagram
Open figure