F. D. Macías-escrivá, R. Haber, R. D. Toro, and V. Hernandez, Selfadaptive systems: A survey of current approaches, research challenges and applications, Expert Systs. with Apps, vol.40, issue.18, 2013.

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, 2003.
DOI : 10.1109/MC.2003.1160055
URL : http://www.dreamsongs.com/NewFiles/Onward!Proceedings.pdf

D. M. Barbosa, R. G. Lima, P. H. Maia, and E. Costa, Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017.
DOI : 10.1109/SEAMS.2017.18

N. Bencomo, K. Welsh, P. Sawyer, and J. Whittle, Self-explanation in adaptive systems, ICECCS, 2012 17th Int. Conference. IEEE, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00719001

W. Hasselbring, R. Heinrich, R. Jung, A. Metzger, K. Pohl et al., iobserve: Integrated observation and modeling techniques to support adaptation and evolution of software systems, Research Report, 2013.

R. Heinrich, E. Schmieders, R. Jung, K. Rostami, A. Metzger et al., Integrating run-time observations and design component models for cloud system analysis, Proc. of the 9th Workshop on Models@run.time, 2014.

J. Ehlers, A. Van-hoorn, J. Waller, and W. Hasselbring, Self-adaptive software system monitoring for performance anomaly localization, Proceedings of the 8th ACM international conference on Autonomic computing, ICAC '11, 2011.
DOI : 10.1145/1998582.1998628

D. F. Mendonça, R. Ali, and G. N. Rodrigues, Modelling and analysing contextual failures for dependability requirements, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, 2014.
DOI : 10.1145/2593929.2593947

P. Casanova, D. Garlan, B. Schmerl, and R. Abreu, Diagnosing unobserved components in self-adaptive systems, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, 2014.
DOI : 10.1145/2593929.2593946

M. U. Iftikhar and D. Weyns, ActivFORMS: active formal models for self-adaptation, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, 2014.
DOI : 10.1145/2593929.2593944
URL : http://lnu.diva-portal.org/smash/get/diva2:823523/FULLTEXT01

T. Hartmann, F. Fouquet, J. Klein, Y. Le-traon, A. Pelov et al., Generating realistic Smart Grid communication topologies based on real-data, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm), 2014.
DOI : 10.1109/SmartGridComm.2014.7007684
URL : https://hal.archives-ouvertes.fr/hal-01185003

T. Hartmann, F. Fouquet, J. Klein, G. Nain, and Y. Le-traon, Reactive security for smart grids using models@ run. time-based simulation and reasoning, Int. Workshop on Smart Grid Security, 2014.
DOI : 10.1007/978-3-319-10329-7_9
URL : http://orbilu.uni.lu/bitstream/10993/16762/1/ReactiveSmartGrid-camera-ready-150414.pdf

, An architectural blueprint for autonomic computing, IBM, Tech. Rep, 2005.

S. K. Chong, I. Mccauley, S. W. Loke, and S. Krishnaswamy, Contextaware sensors and data muffling Context awareness for self-managing systems (devices, applications and networks) proceeding

T. Hartmann, F. Fouquet, G. Nain, B. Morin, J. Klein et al., Reasoning at runtime using time-distorted contexts: A models@ run. time based approach, Proc. of the 26th Int. SEKE. Knowledge Systems Institute Graduate School, 2014.

C. Bettini, O. Brdiczka, K. Henricksen, J. Indulska, D. Nicklas et al., A survey of context modelling and reasoning techniques, Pervasive and Mobile Computing, vol.6, issue.2, 2010.
DOI : 10.1016/j.pmcj.2009.06.002

C. Perera, A. Zaslavsky, P. Christen, and D. Georgakopoulos, Context Aware Computing for The Internet of Things: A Survey, IEEE Communications Surveys & Tutorials, vol.16, issue.1, 2014.
DOI : 10.1109/SURV.2013.042313.00197

M. Glinz, On Non-Functional Requirements, 15th IEEE International Requirements Engineering Conference (RE 2007), 2007.
DOI : 10.1109/RE.2007.45

A. Dardenne, A. Van-lamsweerde, and S. Fickas, Goal-directed requirements acquisition, Science of Computer Programming, vol.20, issue.1-2, 1993.
DOI : 10.1016/0167-6423(93)90021-G

E. Yu, Modelling strategic relationships for process reengineering, Social Modeling for Requirements Engineering, vol.11, 2011.

A. Egyed, A scenario-driven approach to traceability, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.123-132, 2001.
DOI : 10.1109/ICSE.2001.919087
URL : http://sunset.usc.edu/~aegyed/publications/A_Scenario-Driven_Approach_to_Traceability.pdf

S. Cheng and D. Garlan, Stitch: A language for architecture-based self-adaptation, Journal of Systems and Software, vol.85, issue.12, 2012.
DOI : 10.1016/j.jss.2012.02.060
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=2002&context=isr

P. Arcaini, E. Riccobene, and P. Scandurra, Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015.
DOI : 10.1109/SEAMS.2015.10

A. Cailliau and A. Van-lamsweerde, Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017.
DOI : 10.1109/SEAMS.2017.5

D. Weyns, S. Malek, and J. Andersson, FORMS, ACM Transactions on Autonomous and Adaptive Systems, vol.7, issue.1, 2012.
DOI : 10.1145/2168260.2168268