Bibliography

Major publications by the team in recent years

• 1B. Baudry, F. Fleurey, J.-M. Jézéquel, Y. Le Traon.
  Automatic Test Cases Optimization: a Bacteriologic Algorithm, in: IEEE Software, March 2005, vol. 22, n^o 2, pp. 76–82.
• 2B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, J.-M. Mottu.
  Barriers to Systematic Model Transformation Testing, in: Communications of the ACM journal, Jun 2010, vol. 53, n^o 6, 10 p.
  http://hal.inria.fr/inria-00542747_v1
• 3J.-M. Jézéquel.
  Real Time Components and Contracts, in: Model Driven Engineering for Distributed Real Time Embedded Systems, Hermes Science Publishing Ltd, London, 2005.
• 4J.-M. Jézéquel.
  Model Driven Design and Aspect Weaving, in: Journal of Software and Systems Modeling (SoSyM), may 2008, vol. 7, n^o 2, pp. 209–218.
• 5J. Klein, F. Fleurey, J.-M. Jézéquel.
  Weaving Multiple Aspects in Sequence Diagrams, in: Transactions on Aspect-Oriented Software Development (TAOSD), 2007, vol. LNCS 4620, pp. 167-199.
  http://www.irisa.fr/triskell/publis/2007/Klein07a.pdf
• 6Y. Le Traon, B. Baudry, J.-M. Jézéquel.
  Design by Contract to improve Software Vigilance, in: IEEE Trans. on Software Engineering, August 2006, vol. 32, n^o 8, pp. 571–586.
• 7B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, A. Solberg.
  Models at Runtime to Support Dynamic Adaptation, in: IEEE Computer, October 2009, pp. 46-53.
  http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf
• 8C. Nebut, F. Fleurey, Y. Le Traon, J.-M. Jézéquel.
  Automatic Test Generation: A Use Case Driven Approach, in: IEEE Trans. on Software Engineering, March 2006, vol. 32, n^o 3, pp. 140–155.
• 9J. Steel, J.-M. Jézéquel.
  On Model Typing, in: Journal of Software and Systems Modeling (SoSyM), December 2007, vol. 6, n^o 4, pp. 401–414.
  http://www.irisa.fr/triskell/publis/2007/Steel07a.pdf
• 10G. Sunyé, A. Le Guennec, J.-M. Jézéquel.
  Using UML Action Semantics for Model Execution and Transformation, in: Information Systems, Elsevier, July 2002, vol. 27, n^o 6, pp. 445–457.
• 11T. Ziadi, J.-M. Jézéquel.
  Product Line Engineering with the UML: Deriving Products, in: Software Product Lines - Research Issues in Engineering and Management, T. Käkölä, J. C. Dueñas (editors), Springer Verlag, 2006, n^o ISBN: 978-3-540-33252-7, pp. 557–586.

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 12S. Creff.
  Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits, Université Rennes 1, December 2013.
  http://hal.inria.fr/tel-00926119
• 13E. Daubert.
  Adaptation et cloud computing : un besoin d'abstraction pour une gestion transverse, INSA de Rennes, May 2013.
  http://hal.inria.fr/tel-00904364
• 14F. Fouquet.
  Kevoree : Model@Runtime pour le developpement continu de systèmes adaptatifs distribues heterogènes, Université Rennes 1, March 2013.
  http://hal.inria.fr/tel-00831018
• 15C. Guy.
  Facilités de typage pour l'ingénierie des langages, Université Rennes 1, December 2013.
  http://hal.inria.fr/tel-00917789
• 16A. Hervieu.
  Approche à contraintes pour la sélection de Covering Array, Université Rennes 1, December 2013.
  http://hal.inria.fr/tel-00915223
• 17P. Istoan.
  Methodology for the derivation of product behaviour in a Software Product Line, Université Rennes 1 and Université du Luxembourg, February 2013.
  http://hal.inria.fr/tel-00925479
• 18P. Istoan.
  Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle, Université Rennes 1 and université du Luxembourg, February 2013.
  http://hal.inria.fr/tel-00926141
• 19T. Le Nhan.
  Ingénierie dirigée par les modèles pour le provisioning d'images de machines virtuelles pour l'informatique en nuage, Université Rennes 1, December 2013.
  http://hal.inria.fr/tel-00926228
• 20T. Le Nhan.
  Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing, Université Rennes 1, December 2013.
  http://hal.inria.fr/tel-00923811
• 21V. H. Nguyen.
  Une methode fondee sur les modèles pour gerer les proprietes temporelles des systèmes à composants logiciels, Université Rennes 1, December 2013.
  http://hal.inria.fr/tel-00923305
• 22N. Sannier.
  INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté, Université Rennes 1, December 2013.
  http://hal.inria.fr/tel-00941881

Articles in International Peer-Reviewed Journals

• 23M. Acher, A. Cleve, P. Collet, P. Merle, L. Duchien, P. Lahire.
  Extraction and Evolution of Architectural Variability Models in Plugin-based Systems, in: Software & Systems Modeling (SoSyM), July 2013, 27 p. [ DOI : 10.1007/s10270-013-0364-2 ]
  http://hal.inria.fr/hal-00859472
• 24M. Acher, P. Collet, P. Lahire, R. France.
  FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models, in: Science of Computer Programming, June 2013, vol. 78, n^o 6, pp. 657 - 681. [ DOI : 10.1016/j.scico.2012.12.004 ]
  http://hal.inria.fr/hal-00767175
• 25P. Francis, N. Mathieu, M. Naouel, G. Yann-Gael, B. Baudry, J.-M. Jézéquel.
  SOA Antipatterns: an Approach for their Specification and Detection, in: International Journal of Cooperative Information Systems, September 2013.
  http://hal.inria.fr/hal-00916299
• 26C. Jard, D. Lime, O. H. Roux, L.-M. Traonouez.
  Symbolic Unfolding of Parametric Stopwatch Petri Nets, in: Formal Methods in System Design, May 2013, vol. 43, n^o 3, pp. 493-519. [ DOI : 10.1007/s10703-013-0188-2 ]
  http://hal.inria.fr/hal-00840368
• 27J.-M. Jézéquel, B. Combemale, O. Barais, M. Monperrus, F. Fouquet.
  Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench, in: Software and Systems Modeling, 2013.
  http://hal.inria.fr/hal-00829839
• 28M. Monperrus, B. Baudry, J. Champeau, B. Hoeltzener, J.-M. Jézéquel.
  Automated Measurement of Models of Requirements, in: Software Quality Journal, 2013, vol. 21, n^o 1, pp. 3-22, WOS. [ DOI : 10.1007/s11219-011-9163-6 ]
  http://hal.inria.fr/hal-00646876
• 29Y. Sun, J. Gray, R. Delamare, B. Baudry, J. White.
  Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation, in: Journal of Software Maintenance and Evolution: Research and Practice, July 2013.
  http://hal.inria.fr/hal-00916287
• 30G. Sunyé, E. Cunha De Almeida, Y. Le Traon, B. Baudry, J.-M. Jézéquel.
  Model-Based Testing of Global Properties on Large-Scale Distributed Systems, in: Information and Software Technology, 2014.
  http://hal.inria.fr/hal-00942576

Articles in National Peer-Reviewed Journals

• 31B. Combemale, J. Deantoni, A. Koudri, J. Le Noir.
  Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes, in: Génie logiciel, 2013, n^o 105, pp. 4-11.
  http://hal.inria.fr/hal-00854221

Invited Conferences

• 32P. Collet, P. Lahire, M. Acher, R. France.
  Feature Model Management: Smart Operations and Language Support, in: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Miami, United States, September 2013.
  http://hal.inria.fr/hal-00913157

International Conferences with Proceedings

• 33E. K. Abbasi, M. Acher, P. Heymans, A. Cleve.
  Reverse Engineering Web Configurators, in: 17th European Conference on Software Maintenance and Reengineering (CSMR), Antwerp, Belgium, IEEE, February 2014.
  http://hal.inria.fr/hal-00913139
• 34M. Acher, B. Combemale, P. Collet, O. Barais, P. Lahire, R. France.
  Composing your Compositions of Variability Models, in: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Miami, United States, September 2013, vol. Lecture Notes in Computer Science, 17 p.
  http://hal.inria.fr/hal-00859473
• 35M. Acher, P. Heymans, A. Cleve, J.-L. Hainaut, B. Baudry.
  Support for Reverse Engineering and Maintaining Feature Models, in: VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Pisa, Italy, ACM, January 2013.
  http://hal.inria.fr/hal-00766786
• 36M. Acher, R. E. Lopez-Herrejon, R. Rabiser.
  A Survey on Teaching of Software Product Lines, in: Eight International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'14), Nice, France, ACM, January 2014, pp. 1-8. [ DOI : 10.1145/2556624.2556629 ]
  http://hal.inria.fr/hal-00916746
• 37B. Baudry, M. Monperrus, C. Mony, F. Chauvel, F. Fleurey, S. Clarke.
  DIVERSIFY - Ecology-inspired software evolution for diversity emergence, in: CSMR, Antwerp, Belgium, IEEE, February 2014, pp. 395-398.
  http://hal.inria.fr/hal-00916281
• 38O. Beaudoux, M. Clavreul, A. Blouin.
  Binding Orthogonal Views for User Interface Design, in: Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO'13), Montpellier, France, ACM press, 2013, in press.
  http://hal.inria.fr/hal-00826705
• 39S. Bensalem, M. Bozga, B. Boyer, A. Legay.
  Incremental Generation of Linear Invariants for Component-Based Systems, in: 3th International Conference on Application of Concurrency to System Design (ACSD), Barcelona, Spain, 2013, pp. 1-10.
  http://hal.inria.fr/hal-00878738
• 40M. Biazzini, P. Serrano-Alvarado, R. Carvajal-Gomez.
  Towards improving user satisfaction in decentralized P2P networks, in: COLLABORATECOM, United States, October 2013, 1 p.
  http://hal.inria.fr/hal-00871672
• 41B. Combemale, J. Deantoni, R. France, F. Boulanger, S. Mosser, M. Pantel, B. Rumpe, R. Salay, M. Schindler.
  Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013), in: GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Miami, United States, CEUR, 2013, vol. Vol-1102, pp. 3-13.
  http://hal.inria.fr/hal-00926244
• 42B. Combemale, J. Deantoni, M. Vara Larsen, F. Mallet, O. Barais, B. Baudry, R. France.
  Reifying Concurrency for Executable Metamodeling, in: SLE - 6th International Conference on Software Language Engineering, Indianapolis, IN, United States, M. Erwig, R. F. Paige, E. Van Wyk (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8225, pp. 365-384. [ DOI : 10.1007/978-3-319-02654-1_20 ]
  http://hal.inria.fr/hal-00850770
• 43B. Combemale, C. Hardebolle, C. Jacquet, F. Boulanger, B. Baudry.
  Bridging the Chasm between Executable Metamodeling and Models of Computation, in: 5th International Conference, SLE 2012, Desden, Germany, K. Czarnecki, G. Hedin (editors), Lecture Notes in Computer Science, Springer, February 2013, vol. 7745, pp. 184-203, ISBN: 978-3-642-36088-6.
  http://hal.inria.fr/hal-00905067
• 44J.-M. Davril, E. Delfosse, N. Hariri, M. Acher, J. Clelang-Huang, P. Heymans.
  Feature Model Extraction from Large Collections of Informal Product Descriptions, in: European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), Saint Petersburg, Russian Federation, August 2013, pp. 290-300. [ DOI : 10.1145/2491411.2491455 ]
  http://hal.inria.fr/hal-00859475
• 45D. Efstathiou, P. Mcburney, S. Zschaler, J. Bourcier.
  Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems, in: Search Based Software Engineering, Saint Petersbourg, Russian Federation, August 2013.
  http://hal.inria.fr/hal-00859877
• 46D. Efstathiou, P. Mcburney, S. Zschaler, J. Bourcier.
  Flexible QoS-Aware Service Composition in Highly Heterogeneous and Dynamic Service-Based Systems, in: WiMob - The 9th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications - 2013, Lyon, France, October 2013.
  http://hal.inria.fr/hal-00859891
• 47M. Faunes, J. Cadavid, B. Baudry, H. Sahraoui, B. Combemale.
  Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples, in: MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Miami, United States, Lecture Notes in Computer Science, Springer, 2013, pp. 187-202.
  http://hal.inria.fr/hal-00923789
• 48M. Felice Ciolfi, J. B. Ferreira Filho, M. Acher, A. Blouin, O. Barais.
  Interactive Visualisation of Products in Online Configurators: A Case Study for Variability Modelling Technologies, in: MAPLE/SCALE 2013: Joint Workshop on Model-driven Approaches in SPL Engineering, and Workshop on Scalable Modeling Techniques for SPL, Tokio, Japan, August 2013.
  http://hal.inria.fr/hal-00842656
• 50T. Genet, T. Le Gall, A. Legay, V. Murat.
  Tree Regular Model Checking for Lattice-Based Automata, in: CIAA - 18th International Conference on Implementation and Application of Automata, Halifax, Canada, LNCS, Springer, 2013, vol. 7982.
  http://hal.inria.fr/hal-00924849
• 51E. Khalil Abbasi, A. Hubaux, M. Acher, Q. Boucher, P. Heymans.
  The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases, in: CAiSE'13 - 25th International Conference on Advanced Information Systems Engineering - 2013, Valencia, Spain, M. Norrie, C. Salinesi (editors), June 2013, vol. 7908, pp. 162-177.
  http://hal.inria.fr/hal-00796555
• 52S. Kounev, S. Rizou, S. Zschaler, S. Alexakis, T. Bures, J.-M. Jézéquel, D. Kourtesis, S. Pantelopoulos.
  RELATE: a research training network on engineering and provisioning of service-based cloud applications, in: Proceedings of the 2013 international workshop on Hot topics in cloud services, Prague, Czech Republic, S. Kounev, S. Zschaler, K. Sachs (editors), ACM, 2013, pp. 51-54. [ DOI : 10.1145/2462307.2462319 ]
  http://hal.inria.fr/hal-00921120
• 53M. Kramer, J. Klein, J. R. Steel, B. Morin, J. Kienzle, O. Barais, J.-M. Jézéquel.
  Achieving Practical Genericity in Model Weaving through Extensibility, in: Theory and Practice of Model Transformations - 6th International Conference, Budapest, Hungary, K. Duddy, G. Kappel (editors), Springer, 2013, pp. 108-124. [ DOI : 10.1007/978-3-642-38883-5_12 ]
  http://hal.inria.fr/hal-00921058
• 54V. Lelli.
  Challenges of Testing for Critical Interactive Systems, in: International Conference on Software Testing, Verification and Validation, Luxembourg, March 2013.
  http://hal.inria.fr/hal-00804876
• 55D. Marijan, A. Gotlieb, S. Sen, A. Hervieu.
  Practical Pairwise Testing for Software Product Lines, in: SPLC 2013, Tokyo, Japan, August 2013.
  http://hal.inria.fr/hal-00859438
• 56D. Mendez, B. Baudry, M. Monperrus.
  Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software, in: International Conference on Source Code Analysis and Manipulation (SCAM'2013), Netherlands, 2013, 10 p.
  http://hal.inria.fr/hal-00844753
• 57M. Monperrus, B. Baudry.
  Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair, in: Dagstuhl Seminar n°13061 "Fault Prediction, Localization, and Repair", Germany, 2013, 5 p.
  http://hal.inria.fr/hal-00844735
• 58F. Moyano, B. Baudry, J. Lopez.
  Towards Trust-Aware and Self-Adaptive Systems, in: IFIPTM, Malaga, Spain, June 2013.
  http://hal.inria.fr/hal-00916280
• 59J. Richard-Foy, O. Barais, J.-M. Jézéquel.
  Efficient high-level abstractions for web programming, in: Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, United States, J. Jarvi, C. Kastner (editors), ACM, 2013, pp. 53-60. [ DOI : 10.1145/2517208.2517227 ]
  http://hal.inria.fr/hal-00920786
• 60E. Rouillé, O. Barais, B. Combemale, T. David, J.-M. Jézéquel.
  Improving Reusability in Software Process Lines, in: Euromicro Conference on Software Engineering and Advanced Applications, Santander, Spain, September 2013.
  http://hal.inria.fr/hal-00838771
• 61E. Rouillé, B. Combemale, O. Barais, T. David, J.-M. Jézéquel.
  Integrating Software Process Reuse and Automation, in: Asia-Pacific Software Engineering Conference (APSEC), Bangkok, Thailand, December 2013.
  http://hal.inria.fr/hal-00872188
• 62N. Sannier, M. Acher, B. Baudry.
  From Comparison Matrix to Variability Model: The Wikipedia Case Study, in: 28th IEEE/ACM International Conference on Automated Software Engineering, Palo Alto, United States, IEEE, 2013.
  http://hal.inria.fr/hal-00858491
• 63E. Vacchi, W. Cazzola, S. Pillay, B. Combemale.
  Variability Support in Domain-Specific Language Development, in: SLE - 6th International Conference on Software Language Engineering, Indianapolis, IN, United States, M. Erwig, R. F. Paige, E. Van Wyk (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8225, pp. 76-95. [ DOI : 10.1007/978-3-319-02654-1_5 ]
  http://hal.inria.fr/hal-00914715
• 64S. Wuliang, B. Combemale, S. Derrien, R. France.
  Using Model Types to Support Contract-Aware Model Substitutability, in: 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Montpellier, France, P. Van Gorp, T. Ritter, L. Rose (editors), LNCS, Springer-Verlag Berlin Heidelberg, 2013, vol. 7949, pp. 118-133. [ DOI : 10.1007/978-3-642-39013-5_9 ]
  http://hal.inria.fr/hal-00808770

National Conferences with Proceedings

• 65O. Barais, B. Baudry, A. Blouin, B. Combemale, J.-M. Jézéquel, D. Vojtisek.
  A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience, in: Conférence en IngénieriE du Logiciel (CIEL), Nancy, France, April 2013.
  http://hal.inria.fr/hal-00796009
• 66G. Bécan, S. Ben Nasr, B. Baudry.
  An Ontologic-Aware Feature Modeling Environment, in: Journées lignes de produits - 2013, Paris, France, November 2013.
  http://hal.inria.fr/hal-00915662
• 67N. Sannier, G. Bécan, S. Ben Nasr, B. Baudry.
  On Product Comparison Matrices and Variability Models from a Product Comparison/Configuration Perspective, in: Journée lignes de produits - 2013, Paris, France, November 2013.
  http://hal.inria.fr/hal-00915657

Scientific Books (or Scientific Book chapters)

• 68A. Hubaux, M. Acher, T. T. Tun, P. Heymans, P. Collet, P. Lahire.
  Separating Concerns in Feature Models: Retrospective and Support for Multi-Views, in: Domain Engineering: Product Lines, Conceptual Models, and Languages, I. Reinhartz-Berger, A. Sturm, T. Clark, J. Bettin, S. Cohen (editors), Springer, August 2013, pp. 3-28. [ DOI : 10.1007/978-3-642-36654-3_1 ]
  http://hal.inria.fr/hal-00767213

Books or Proceedings Editing

• 69B. Combemale, W. Cazzola, R. B. France (editors)
  GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific Languages, ACM, 2013, 33 p.
  http://hal.inria.fr/hal-00916292
• 70B. Combemale, J. Deantoni, R. B. France, B. Barn, T. Clark, U. Frank, V. Kulkarni, D. Turk (editors)
  Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013, CEUR-WS, 2013, vol. 1102, 88 p.
  http://hal.inria.fr/hal-00916282

Internal Reports

• 71A. Arnold, B. Boyer, A. Legay.
  Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach, January 2013, 21 p.
  http://hal.inria.fr/hal-00778039
• 72G. Bécan, M. Acher, B. Baudry, S. Ben Nasr.
  Breathing Ontological Knowledge Into Feature Model Management, Inria, October 2013, n^o RT-0441, 15 p.
  http://hal.inria.fr/hal-00874867
• 73B. Delahaye, A. Legay, S. Sedwards.
  A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes, September 2013.
  http://hal.inria.fr/hal-00856704
• 74D. El Kateb, F. Fouquet, J. Bourcier, Y. Le Traon.
  Artificial Mutation inspired Hyper-heuristic for Runtime Usage of Multi-objective Algorithms, November 2013.
  http://hal.inria.fr/hal-00948329

References in notes

• 75D. Benavides, S. Segura, A. Ruiz-Cortes.
  Automated Analysis of Feature Models 20 years Later: a Literature Review, in: Information Systems, 2010, vol. 35, n^o 6.
• 76T. Berger, R. Rublack, D. Nair, Joanne M. Atlee, M. Becker, K. Czarnecki, A. Wasowski.
  A survey of variability modeling in industrial practice, in: VaMoS'13, ACM, 2013.
• 77A. Beugnard, J.-M. Jézéquel, N. Plouzeau, D. Watkins.
  Making Components Contract Aware, in: IEEE Computer, July 1999, vol. 13, n^o 7.
• 78G. Booch.
  Object-Oriented Analysis and Design with Applications, 2nd, Benjamin Cummings, 1994.
• 79E. Gamma, R. Helm, R. Johnson, J. Vlissides.
  Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, 1995.
• 80M. Jackson.
  System Development, Prentice-Hall International, Series in Computer Science, 1985.
• 81J.-M. Jézéquel, B. Meyer.
  Design by Contract: The Lessons of Ariane, in: Computer, January 1997, vol. 30, n^o 1, pp. 129–130.
• 82B. Meyer.
  Reusability: The Case for Object-Oriented Design, in: IEEE SOFTWARE, March 1987, n^o 3, pp. 50–64.
• 83B. Meyer.
  Applying "Design by Contract", in: IEEE Computer (Special Issue on Inheritance & Classification), October 1992, vol. 25, n^o 10, pp. 40–52.
• 84B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, A. Solberg.
  Models at Runtime to Support Dynamic Adaptation, in: IEEE Computer, October 2009, pp. 46-53.
  http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf
• 85B. Morin, O. Barais, G. Nain, J.-M. Jézéquel.
  Taming Dynamically Adaptive Systems with Models and Aspects, in: 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada, Canada, 2009.
  http://hal.inria.fr/inria-00468516
• 86G. Nain.
  EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services, Université Rennes 1, December 2011.
  http://hal.inria.fr/tel-00646664
• 87A. Rashid, J. Araújo.
  Modularisation and composition of aspectual requirements, in: Proceedings of the 2nd international conference on Aspect-oriented software development, 2003, pp. 11–20.
• 88C. Szyperski.
  Component Software: Beyond Object-Oriented Programming, ACM Press and Addison-Wesley, New York, N.Y., 1998.
• 89J. Warmer, A. Kleppe.
  The Object Constraint Language, Addison-Wesley, 1998.