A. , R. Alur, T. A. Henzinger, and O. Kupferman, Alternating-time temporal logic, J. ACM, vol.49, issue.5, pp.672-713, 2002.
DOI : 10.1109/sfcs.1997.646098

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5461

B. T. Brihaye, A. Da-costa-lopes, 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

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

B. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, Tropos: An agent-oriented software development methodology Julien Brunel, and David Chemouil. A formal treatment of agents, goals and operations using alternating-time temporal logic Towards an Updatable Strategy Logic, CBC11. Christophe Chareton Brazilian Symposium on Formal Methods (SBMF) Proc. 1st Intl WS on Strategic Reasoning SR, 2013. CBC15. Christophe Chareton, Julien Brunel, and David Chemouil. A logic with revocable and refinable strategies, 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

C. A. 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

C. A. Chopra, F. Dalpiaz, P. Giorgini, and J. Mylopoulos, Reasoning about agents and protocols via goals and commitments Multiagent commitment alignment, Proc. of the 9th Intl Conf. on Autonomous Agents and Multiagent Systems CHP10. Krishnendu Chatterjee, Thomas A. Henzinger, and Nir Piterman. Strategy logic. Inf. & Comp. Proc. of The 8th Intl Conf. on Autonomous Agents and Multiagent Systems, pp.457-464677, 2009.
DOI : 10.1007/978-3-642-13094-6_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.3694

A. Da, C. Lopes, F. Laroussinie, and N. Markey, ATL with strategy contexts: Expressiveness and model checking, IARCS Annual Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pp.120-132, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00599764

E. Eisner, D. Fisman, J. Havlicek, Y. Lustig, A. Mcisaac et al., Reasoning with temporal logic on truncated paths Agent-based tactics for goal-oriented requirements elaboration, Computer Aided Verification Proc. of the 24th Intl Conf. on Software Engineering, pp.27-39, 2002.

L. E. Letier and A. Van-lamsweerde, Deriving operational software specifications from system goals, Proc. of the 10th ACM SIGSOFT symposium on Foundations of software engineering, p.128, 2002.

. Mai98, W. Mark, . Maier-giuseppe, M. Y. Perelli, and . Vardi, Architecting principles for systems-of-systems Reasoning about strategies: On the model-checking problem Temporal verification of reactive systems -safety Incorporating commitment protocols into Tropos. Agent- Oriented Software Engineering VI Axel van Lamsweerde. From system goals to software architecture Elaborating security requirements by construction of intentional anti-models Modelling strategic relationships for process reengineering, MMV10. Fabio Mogavero, Aniello Murano, and Moshe Y. Vardi. Reasoning about strategies . In IARCS Annual Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) Szy02. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming Formal Methods for Software Architectures Axel van Lamsweerde ICSE vL09. Axel van Lamsweerde. Requirements Engineering -From System Goals to UML Models to Software Specifications UMI Order No. GAXNN-02887, pp.267-28434, 1995.

S. K. Eric and . Yu, Social modeling and i*, Conceptual Modeling: Foundations and Applications, pp.99-121, 2009.