A. Bertolino, A. Fantechi, S. Gnesi, G. Lami, and A. Maccari, Use Case Description of Requirements for Product Lines, Requirement Engineering for Product Lines (REPL02), pp.12-18, 2002.

A. Biermann and K. R. , Constructing Programs from Example Computations, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.141-153, 1976.
DOI : 10.1109/TSE.1976.233812

H. Gomaa, Modeling Software Product Lines with UML, SPLW2, pp.27-31, 2001.

M. Object and . Group, Uinified modeling language specification version 2.0: Superstructure, 2003.

G. Halmans and K. Pohl, Communicating the variability of a software-product family, Software System Model, vol.3, pp.15-36, 2003.

D. Harel and E. Gery, Executable object modeling with statecharts, Proceeding of International Conference on Software Engineering, 1996.

O. Haugen and K. Stolen, STAIRS ??? Steps To Analyze Interactions with Refinement Semantics, <<UML2003>>-The Unified Modeling Language Conference, pp.388-402, 2003.
DOI : 10.1007/978-3-540-45221-8_33

I. John and D. Muthig, Tailoring Use Cases for Product Line Modeling, Requirement Engineering for Product Lines (REPL02), pp.26-32, 2002.

I. Khriss, M. Elkoutbi, and R. Keller, Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams, Proceedings of UML'98: Beyond the Notation, pp.115-126, 1998.
DOI : 10.1007/978-3-540-48480-6_11

K. Koskimies, T. Systä, and M. T. Tuomi, Automated support for modeling OO software, IEEE Software, vol.15, issue.1, pp.87-94, 1998.
DOI : 10.1109/52.646888

I. Krger, R. Grosu, P. Scholz, and M. Broy, From MSCS to Statecharts, Distributed and Parallel Embedded Systems, 1999.
DOI : 10.1007/978-0-387-35570-2_5

E. Mäkinen and T. Systä, Mas-an interactive synthesizer to support behavioral modeling, Proceeding of International Conference on Software Engineering, 2001.

L. M. Northrop, A framework for software product line practice -version 3, 2002.

S. Uchitel and J. Kramer, A workbench for synthesising behaviour models from scenarios, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, 2001.
DOI : 10.1109/ICSE.2001.919093

S. Uchitel, J. Kramer, and J. Magee, Synthesis of behavioral models from scenarios, IEEE Transactions on Software Engineering, vol.29, issue.2, pp.99-115, 2003.
DOI : 10.1109/TSE.2003.1178048

T. Van-der-maßen and H. Lichter, Modeling Variability by UML Use Case Diagrams, Requirement Engineering for Product Lines (REPL02), pp.19-25, 2002.

J. Whittle and J. Schumann, Generating statechart designs from scenarios, Proceedings of the 22nd international conference on Software engineering , ICSE '00, 2000.
DOI : 10.1145/337180.337217

T. Ziadi, L. Hélouët, and J. M. , Towards a UML Profile for Software Product Lines, Proceedings of the Fifth Internationl Workshop on Product Familly Engineering (PFE-5), 2003.
DOI : 10.1007/978-3-540-24667-1_10
URL : https://hal.archives-ouvertes.fr/hal-00794817

T. Ziadi, L. Hélouët, and J. M. , Revisiting statechart synthesis with an algebraic approach, Proceedings. 26th International Conference on Software Engineering, 2004.
DOI : 10.1109/ICSE.2004.1317446
URL : https://hal.archives-ouvertes.fr/hal-00795027