Model checking of message sequence charts (1999)

by R Alur, M Yannakakis
Venue:In Proc. 10th Intl. Conf. on Concurrency Theory