H. Ben-abdallah and S. Leue, Mesa: Support for scenario-based design of concurrent systems, Tacas, pp.118-135, 1998.
DOI : 10.1007/BFb0054168

M. Bezdeka, O. Bouda, L. Korenciak, M. Madzin, and V. Rehák, Sequence Chart Studio, 2012 12th International Conference on Application of Concurrency to System Design, pp.148-153, 2012.
DOI : 10.1109/ACSD.2012.25

B. Bollig and . Rwth-aachen, Automata and logics for message sequence charts, Thèse de doctorat, 2005.

B. Genest, The odyssey of msc-graphs, Thèse de doctorat, 2004.

L. Hélouët, Analyse des exigences des systèmes répartis exprimées par des langages de scénarios, Thèse de doctorat, 2000.

L. Hélouët, A Scenario Oracle and Formal Analysis Toolbox (SOFAT) http://www.irisa .fr/distribcom, Prototypes/SOFAT. ([, 2012.

G. J. Holzmann, D. A. Peled, and M. H. Redberg, Design tools for requirements engineering, Bell Labs Technical Journal, vol.2, issue.1, pp.86-95, 1997.
DOI : 10.1002/bltj.2034

J. Hopcroft and J. Pansiot, On the reachability problem for 5-dimensional vector addition systems, Theoretical Computer Science, vol.8, issue.2, pp.135-159, 1979.
DOI : 10.1016/0304-3975(79)90041-0

R. Lipton, The reachability problem requires exponential space. Rapport technique n o 63, 1976.

G. Memmi and G. Roucairol, Linear algebra in net theory, Advanced course: Net theory and applications, pp.213-223, 1980.
DOI : 10.1007/3-540-10001-6_24

M. Reniers, Message sequence chart: Syntax and semantics, 1998.