B. H. Cheng and J. M. Atlee, Research Directions in Requirements Engineering, Future of Software Engineering (FOSE '07), pp.285-303, 2007.
DOI : 10.1109/FOSE.2007.17

G. K. Sommerville, Ian: Requirements Engineering with Viewpoints, Software Engineering Journal, 1996.

A. Rashid, A. Moreira, and J. Araújo, Modularisation and composition of aspectual requirements, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.11-20, 2003.
DOI : 10.1145/643603.643605

S. Easterbrook and B. Nuseibeh, Using ViewPoints for inconsistency management, Software Engineering Journal, vol.11, issue.1, pp.31-43, 1996.
DOI : 10.1049/sej.1996.0004

B. Nuseibeh, S. Easterbrook, and A. Russo, Making inconsistency respectable in software development, Journal of Systems and Software, vol.58, issue.2, pp.171-180, 2001.
DOI : 10.1016/S0164-1212(01)00036-X

B. Nuseibeh, J. Kramer, and A. Finkelstein, A framework for expressing the relationships between multiple views in requirements specification, IEEE Transactions on Software Engineering, vol.20, issue.10, pp.760-773, 1994.
DOI : 10.1109/32.328995

D. Kolovos, R. Paige, and F. Polack, Detecting and Repairing Inconsistencies across Heterogeneous Models, 2008 International Conference on Software Testing, Verification, and Validation, pp.356-364, 2008.
DOI : 10.1109/ICST.2008.23

M. Sabetzadeh and S. Easterbrook, An algebraic framework for merging incomplete and inconsistent views, 13th IEEE International Conference on Requirements Engineering (RE'05), pp.306-315, 2005.
DOI : 10.1109/RE.2005.8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. Day and J. Joyce, A framework for multi-notation requirements specification and analysis, Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219), pp.4-39, 2000.
DOI : 10.1109/ICRE.2000.855583

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Ainsworth, A. Cruickshank, L. Groves, and P. Wallis, Viewpoint specification and Z, Information and Software Technology, vol.36, issue.1, pp.43-51, 1994.
DOI : 10.1016/0950-5849(94)90007-8

P. Zave and M. Jackson, Conjunction as composition, ACM Transactions on Software Engineering and Methodology, vol.2, issue.4, pp.379-411, 1993.
DOI : 10.1145/158431.158438

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. Brottier, B. Baudry, Y. L. Traon, D. Touzet, and B. Nicolas, Producing a Global Requirement Model from Multiple Requirement Specifications, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp.390-404, 2007.
DOI : 10.1109/EDOC.2007.44

URL : https://hal.archives-ouvertes.fr/inria-00477569

R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, Providing Support for Model Composition in Metamodels, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007.
DOI : 10.1109/EDOC.2007.55

URL : https://hal.archives-ouvertes.fr/inria-00180463

B. Baudry, C. Nebut, and Y. L. Traon, Model-Driven Engineering for Requirements Analysis, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp.459-466, 2007.
DOI : 10.1109/EDOC.2007.15

URL : https://hal.archives-ouvertes.fr/lirmm-00196676

C. Nebut, F. Fleurey, Y. Le-traon, and J. M. Jézéquel, Automatic test generation: a use case driven approach, IEEE Transactions on Software Engineering, vol.32, issue.3, 2006.
DOI : 10.1109/TSE.2006.22

URL : https://hal.archives-ouvertes.fr/lirmm-00102747

G. Spanoudakis and A. Finkelstein, Overlaps among requirements specifications, ICSE workshop on " Living with Inconsistency, 1997.

A. Van-lamsweerde, R. Darimont, and E. Letier, Managing conflicts in goal-driven requirements engineering, IEEE Transactions on Software Engineering, vol.24, issue.11, 1998.
DOI : 10.1109/32.730542

D. S. Kolovos, R. F. Paige, and F. A. Polack, Merging Models with the Epsilon Merging Language (EML), MODELS, Springer LNCS, p.4199, 2006.
DOI : 10.1007/11880240_16

A. Corradini, U. Montanari, and F. Rossi, Graph processes, Fundamenta Informaticae, vol.26, pp.3-4, 1996.