L. A. Zadeh, Fuzzy sets, Information and control, vol.8, issue.3, 1965.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21st international conference on Software engineering, 1999.

N. Abid, S. Zilio, and D. Botlan, A Real-Time Specification Patterns Language, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00593965

J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J. Bruel, RELAX: a language to address uncertainty in self-adaptive systems requirement, Requirements Engineering, pp.177-196, 2010.

S. Konrad and B. H. Cheng, Real-time specification patterns, Proceedings of the 27th international conference on Software engineering, 2005.

M. Autili, L. Grunske, M. Lumpe, P. Pelliccione, and A. Tang, Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar, IEEE Transactions on Software Engineering, vol.41, issue.7, pp.620-638, 2015.

C. Krupitzer, F. M. Roth, S. Vansyckel, G. Schiele, and C. Becker, A survey on engineering approaches for self-adaptive systems, Pervasive and Mobile Computing, vol.17, pp.184-206, 2015.

D. Weyns, Software engineering of self-adaptive systems: an organised tour and future challenges, Chapter in Handbook of Software Engineering, 2017.

R. De-lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson et al., Software engineering for self-adaptive systems: A second research roadmap, 2013.
URL : https://hal.archives-ouvertes.fr/inria-00638157

S. Moon, K. H. Lee, and D. Lee, Fuzzy branching temporal logic, IEEE Transactions on Systems, Man, and Cybernetics, vol.34, issue.2, pp.1045-1055, 2004.

B. H. Cheng, P. Sawyer, N. Bencomo, and J. Whittle, A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty, International Conference on Model Driven Engineering Languages and Systems, 2009.

L. Baresi, L. Pasquale, and P. Spoletini, Fuzzy goals for requirements-driven adaptation, 2010 18th IEEE International Requirements Engineering Conference, 2010.

V. E. Silva-souza, A. Lapouchnian, W. N. Robinson, and J. Mylopoulos, Awareness requirements for adaptive systems, Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems, 2011.

V. E. Souza, A. Lapouchnian, and J. Mylopoulos, (Requirement) evolution requirements for adaptive systems, Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012.

M. Ahmad, N. Belloir, and J. Bruel, Modeling and Verification of Functional and Non-Functional Requirements of Ambient Self-Adaptive Systems, Journal of Systems and Software, vol.107, pp.50-70, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01278903

E. Vassev and M. Hinchey, Engineering Requirements for Autonomy Features, Software Engineering for Collective Autonomic Systems, 2015.

M. Morandini, L. Penserini, A. Perini, and A. Marchetto, Engineering requirements for adaptive systems, Requirements Engineering, vol.22, issue.1, pp.77-103, 2017.

D. G. Iglesia and D. Weyns, MAPE-K formal templates to rigorously design behaviors for self-adaptive systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol.10, issue.3, p.15, 2015.

C. E. Silva, J. D. Silva, C. Paterson, and R. Calinescu, Self-adaptive role-based access control for business processes, Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017.

M. Salehie and L. Tahvildari, Autonomic computing: emerging trends and open problems, DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software, 2005.

L. Grunske, Specification patterns for probabilistic quality properties, 2008 ACM/IEEE 30th International Conference on Software Engineering, 2008.

Y. Zhou and T. Murata, Petri net model with fuzzy timing and fuzzy-metric temporal logic, International Journal of Intelligent Systems, vol.14, issue.8, pp.719-745, 1999.

N. Esfahani and S. Malek, Uncertainty in self-adaptive software systems, Software Engineering for Self-Adaptive Systems II, 2013.

V. Gruhn and R. Laue, Patterns for timed property specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006.

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.

M. U. Iftikhar and D. Weyns, A case study on formal verification of self-adaptive behaviors in a decentralized system, 2012.

D. Weyns, M. U. Iftikhar, S. Malek, and J. Andersson, Claims and supporting evidence for self-adaptive systems: A literature study, Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012.

F. D. Macias-escriva, R. Haber, R. Toro, and V. Hernandez, Self-adaptive systems: A survey of current approaches, research challenges and applications, Expert Systems with Applications, vol.40, issue.18, pp.7267-7279, 2013.

R. Koymans, Specifying real-time properties with metric temporal logic, Real-time systems, vol.2, pp.255-299, 1990.

A. Capozucca, N. Guelfi, and P. Pelliccione, The fault-tolerant insulin pump therapy, Rigorous Development of Complex Fault-Tolerant Systems, 2006.

J. Coleman and C. Jones, Examples of how to determine the specifications of control systems, Technical Report Series-University of Newcastle Upon Tyne Computing Science, vol.915, p.65, 2005.

E. S. Yu, Towards modelling and reasoning support for earlyphase requirements engineering, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering, 1997.

A. Dardenne, A. Van-lamsweerde, and S. Fickas, Goal-directed requirements acquisition, Science of computer programming, vol.20, issue.1-2, pp.3-50, 1993.

P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, Tropos: An agent-oriented software development methodology, Autonomous Agents and Multi-Agent Systems, vol.8, issue.3, pp.203-236, 2004.

I. Suzuki and H. Lu, Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter, IEEE Transactions on Computers, vol.38, issue.5, pp.696-704, 1989.