Figure:
Liveness
in MSC
Open figure