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.
DOI : 10.1023/B:AGNT.0000018806.20944.ef

T. Brihaye, A. Da-costa, F. Laroussinie, and N. Markey, ATL with Strategy Contexts and Bounded Memory, Logical Foundations of Computer Science, vol.164, issue.2, pp.92-106, 2009.
DOI : 10.1007/3-540-59042-0_57

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

A. K. Chopra, F. Dalpiaz, P. Giorgini, and J. Mylopoulos, Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments, Advanced Information Systems Engineering, pp.113-128, 2010.
DOI : 10.1007/978-3-642-13094-6_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.3694

A. K. Chopra, F. Dalpiaz, P. Giorgini, and J. Mylopoulos, Reasoning about agents and protocols via goals and commitments, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.457-464, 2010.

A. K. Chopra and M. P. Singh, Multiagent commitment alignment International Foundation for Autonomous Agents and Multiagent Systems, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pp.937-944, 2009.

E. Letier, Reasoning about Agents in Goal-Oriented Requirements Engineering, 2002.

E. Letier and A. Van-lamsweerde, Agent-based tactics for goal-oriented requirements elaboration, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.83-93, 2002.
DOI : 10.1145/581352.581353

E. Letier and A. Van-lamsweerde, Deriving operational software specifications from system goals, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, p.128, 2002.
DOI : 10.1145/587051.587070
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.7952

A. Mallya and M. Singh, Incorporating commitment protocols into Tropos. Agent-Oriented Software Engineering VI, pp.69-80, 2006.
DOI : 10.1007/11752660_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.518.7247

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

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

E. Yu, Agent-oriented modelling : software versus the world. Agent-Oriented Software Engineering II, pp.206-225, 2002.

E. Yu, Social modelling and i*, Conceptual Modelling : Foundations and Applications, 2009.