"An Analyser for Mesage Sequence Charts."

Rajeev Alur, Gerard J. Holzmann, Doron A. Peled (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics