M. Abdalla, F. Khendek, and G. Butler, New results on deriving sdl speciications from mscs, Proc. of 9th SDL forum, pp.511-66, 1999.

A. Biermann and K. R. , Constrcuting programs from example computations, IEEE Transaction Software Engineering, vol.2, issue.3, p.1411153, 1976.
DOI : 10.1109/tse.1976.233812

W. Damm and D. Harel, Lscs: Breathing life into message sequence charts. Formal Methods in System design, vol.19, p.45580, 2001.
DOI : 10.1007/978-0-387-35562-7_23
URL : https://link.springer.com/content/pdf/10.1007%2F978-0-387-35562-7_23.pdf

A. Engels, S. Mauw, and M. Reniers, A hierarchy o f communication models for message sequence charts, Proc. of FORTE X and PSTV XVII, vol.75590, 1997.
DOI : 10.1007/978-0-387-35271-8_5
URL : https://link.springer.com/content/pdf/10.1007%2F978-0-387-35271-8_5.pdf

O. M. Group, Uiniied modeling language speciication version 2.0: Superstructure, 2003.

D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.2311-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9
URL : https://doi.org/10.1016/0167-6423(87)90035-9

D. Harel, R. Marelly, and . Come, Let's Play : ScenarioBased P r ogramming Using LSCs and the Play-Engine, 2003.

L. Hhlouut and C. Jard, Conditions for synthesis of communicating automata from hmscs, 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2000.

. Itu-t, Message sequence charts (MSC), Z, vol.120, 1999.

I. Khriss, M. Elkoutbi, and R. Keller, Automating the synthesis of uml statechart diagrams from multiple collaboration diagrams, Proc. of UML'98: Beyond the Notation, p.1155126, 1998.

K. Koskimies, T. Systt, J. Tuomi, and M. T. , Automated support for modeling oo software, IEEE Software, vol.15, p.87794, 1998.

K. M. Koskimies, T. Systt, and J. Tuomi, Sced: A tool for dynamic modeling object systems, 1996.

I. Krrger, R. Grosu, P. Scholz, and M. Broy, From mscs to statecharts, Distributed and Parallel Embedded Systems. K l u wer Academic Publishers, 1999.

S. Leue, L. Mehrmann, and M. Rezai, Synthesizing room models from message sequence chart speciications, Proc. of 13th IEEE Conference on Automated Software Engineering, 1998.
DOI : 10.1109/ase.1998.732635

N. Mansurov and D. Zhukov, Automatic synthesis of sdl models in use case methodology

, Proc. of 9th SDL forum, pp.2255-240, 1999.

E. Mmkinen and T. Systt, Mas-an interactive s y n thesizer to support behavioral modeling, Proc. of International Conference on Software Engineering (ICSE 2001), 2001.

A. Muscholl and D. Peled, Message Sequence Graphs and decision problems on mazurkiewicz traces, Proc. of MFCS'99, vol.1672, 1999.
DOI : 10.1007/3-540-48340-3_8

S. Uchitel and J. Kramer, A workbench for synthesising behaviour models from scenarios, Proc. of International Conference on Software Engineering (ICSE 2001), 2001.

S. Uchitel, J. Kramer, and J. Magee, Detecting implied scenarios in message sequence chart speciications, proceedings of the 9th European Software Engineering Conferece and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'01), 2001.
DOI : 10.1145/503218.503220

S. Uchitel, J. Kramer, and J. Magee, Synthesis of behavioral models from scenarios, IEEE Transaction on Software Engineering, vol.29, issue.2, p.999115, 2003.
DOI : 10.1109/tse.2003.1178048
URL : http://spiral.imperial.ac.uk/bitstream/10044/1/447/1/Synthesis%20of%20behavioral%20models.pdf

J. Whittle and J. Schumann, Generating statechart designs from scenarios, Proc. of International Conference on Software E n g i n e ering (ICSE 2000), 2000.
DOI : 10.1109/icse.2000.870422

T. Ziadi, Technical and additional material