R. Alur, T. A. Henzinger, and O. Kupferman, Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.
DOI : 10.1145/585265.585270
URL : https://repository.upenn.edu/cgi/viewcontent.cgi?article=1104&context=cis_reports

J. Castro, M. Kolp, and J. Mylopoulos, A requirements-driven development methodology, Proceedings of the 13th International Conference on Advanced Information Systems Engineering, CAiSE '01, pp.108-123, 2001.
DOI : 10.1007/978-3-642-36926-1_21
URL : https://link.springer.com/content/pdf/10.1007%2F978-3-642-36926-1_21.pdf

C. Chareton, Modélisation formelle d'exigences et logiques temporelles multi-agents Institut supérieur de l'aéronautique et de l'espace (ISAE), 2014.

C. Chareton, J. Brunel, and D. Chemouil, A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic, Formal Methods, Foundations and Applications (SBMF), 2011.
DOI : 10.1007/3-540-70657-7_14
URL : https://hal.archives-ouvertes.fr/hal-00783715

C. Chareton, J. Brunel, and D. Chemouil, Vers une sémantique des jeux pour un langage d'ingénierie des exigences par buts et agents, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2012.

C. Chareton, J. Brunel, and D. Chemouil, A logic with revocable and refinable strategies, Information and Computation, vol.242, pp.157-182, 2015.
DOI : 10.1016/j.ic.2015.03.015
URL : https://hal.archives-ouvertes.fr/hal-00785659

C. Chareton, J. Brunel, and D. Chemouil, Evaluating the Assignment of Behavioral Goals to Coalitions of Agents, Proc. 18th Brazilian Symposium, SBMF 2015, p.2015, 2015.
DOI : 10.1007/978-3-319-29473-5_4
URL : https://hal.archives-ouvertes.fr/hal-01206625

K. Chatterjee, T. A. Henzinger, and N. Piterman, Strategy logic, Information and Computation, vol.208, issue.6, pp.677-693, 2010.
DOI : 10.1016/j.ic.2009.07.004

A. K. Chopra, F. Dalpiaz, P. Giorgini, and J. Mylopoulos, Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE), pp.113-128, 2010.
DOI : 10.1007/978-3-642-13094-6_10

A. K. Chopra and M. P. Singh, Multiagent commitment alignment, Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems, pp.937-944, 2009.

L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering, 2000.

E. Dubois, P. D. Bois, and M. Petit, ALBERT: an agent-oriented language for building and eliciting requirements for real-time systems, Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences HICSS-94, pp.713-722, 1994.
DOI : 10.1109/HICSS.1994.323448

C. Eisner, D. Fisman, J. Havlicek, Y. Lustig, A. Mcisaac et al., Reasoning with Temporal Logic on Truncated Paths, Proceedings of the 15th International Conference on Computer Aided Verification (CAV), pp.27-39, 2003.
DOI : 10.1007/978-3-540-45069-6_3

M. Jackson, Problem Frames, 2001.

T. P. Kelly and R. A. Weaver, The goal structuring notation -a safety argument notation, Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases, 2004.

F. Mogavero, A. Murano, and M. Y. Vardi, Reasoning about strategies, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010.

B. Nuseibeh and S. M. Easterbrook, Requirements engineering, Proceedings of the conference on The future of Software engineering , ICSE '00, 2000.
DOI : 10.1145/336512.336523
URL : https://hal.archives-ouvertes.fr/hal-01758502

A. Van-lamsweerde, Requirements Engineering ? From System Goals to UML Models to Software Specifications, 2009.