Figure:
Liveness
in Meta-MSC
Open figure