R. Alur, T. Henzinger, F. Mang, S. Qadeer, S. Rajamani et al., MOCHA: Modularity in model checking, Computer Aided Verification, pp.521-525, 1998.
DOI : 10.1007/BFb0028774

R. Alur, T. Henzinger, and O. Kupferman, Alternating-time temporal logic, In: J. ACM. pp, pp.672-713, 2002.
DOI : 10.1109/sfcs.1997.646098
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5461

P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems pp, pp.203-236, 2004.
DOI : 10.1023/b:agnt.0000018806.20944.ef
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.7049

T. Brihaye, A. Da-costa, F. Laroussinie, and N. Markey, ATL with strategy contexts and bounded memory. Logical Foundations of Computer Science pp, pp.92-106, 2009.

A. Chopra, F. Dalpiaz, P. Giorgini, and J. Mylopoulos, Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments, 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. 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. Chopra and M. Singh, Multiagent commitment alignment, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems-Volume International Foundation for Autonomous Agents and Multiagent Systems, pp.937-944, 2009.

D. Bois and P. , The Albert II reference manual, 1997.

E. Dubois, D. Bois, P. Petit, and M. , ALBERT: an agent-oriented language for building and eliciting requirements for real-time systems Information Systems: Collaboration Technology Organizational Systems and Technology, Proceedings of the Twenty-Seventh Hawaii International Conference on, pp.713-722, 1994.

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

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.4054

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

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

A. Mallya and M. Singh, Incorporating commitment protocols into Tropos. Agent-Oriented Software Engineering VI pp, 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

C. Silva, J. Castro, P. Tedesco, J. Araújo, A. Moreira et al., Improving the architectural design of multi-agent systems, Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems , SELMAS '06, pp.107-113, 2006.
DOI : 10.1145/1138063.1138083

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

E. Yu, Social modelling and i*, Conceptual Modelling: Foundations and Applications (2009) E-mail address: FIRSTNAME.LASTNAME@ONERA.FR