Model checking of message sequence charts (1999)

by Rajeev Alur, Mihalis Yannakakis