. @bullet-agent-id, < emmas -event id = " ! stop_beat_ag0 " type = " output " name = " stop " action = " beat " agent -id = " 0 " / > 4 < emmas -event id = " ? begin_candy_ag0 " type = " input " name = " beginning " stimulus = " candy " agent -id = " 0 " / > 5 < emmas -event id = " ? stable_candy_ag0 " type = " input " name = " stable " stimulus = " candy " agent -id = " 0 " / > 6 < emmas -event id = " ? ending_candy_ag0 " type = " input " name = " ending " stimulus = " candy " agent -id = " 0 " / > 7 < emmas -event id = " ? absent_candy_ag0 " type = " input " name = " absent " stimulus The B-book: assigning programs to meanings, p.28, 1996.

. Alam, A Model for HIV Spread in a South African Village, Multi-Agent-Based Simulation IX, pp.33-45, 2009.
DOI : 10.1007/978-3-642-01991-3_3

. Alloway, Tom Alloway Sniffy: The Virtual Rat, Pro Version 2.0, 2005.

. Anderson, An Integrated Theory of the Mind., Psychological Review, vol.111, issue.4, pp.1036-1060, 2004.
DOI : 10.1037/0033-295X.111.4.1036

K. C. Baier, J. Baier, and . Katoen, Principles of Model Checking, p.128, 2008.

. Balbi, A Spatial Agent-Based Model to Explore Scenarios of Adaptation to Climate Change in an Alpine Tourism Destination, 3rd World Congress on Social SimulationComplex Systems, p.23, 2010.
DOI : 10.2139/ssrn.1566861

. Bansal, System Issues in Multi-agent Simulation of Large Crowds, Multi-Agent-Based Simulation VIII, pp.8-19, 2008.
DOI : 10.1007/978-3-540-70916-9_2

F. M. Barbuceanu, M. S. Barbuceanu, and . Fox, COOL: A language for describing coordination in multi agent systems, ICMAS, pp.17-24, 1995.

. Barringer, Rule-Based Runtime Verification, Lecture Notes in Computer Science, vol.2937, pp.44-57, 2004.
DOI : 10.1007/978-3-540-24622-0_5

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

. Barringer, Program monitoring with LTL in Eagle, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings., p.27, 2004.
DOI : 10.1109/IPDPS.2004.1303336

M. Batagelj, Vladimir Batagelj and Andrej Mrvar. Pajek ? program for large network analysis, Connections, vol.21, issue.1, p.31, 1998.

. Bauer, Monitoring of Real-Time Properties, FSTTCS, pp.260-272, 2006.
DOI : 10.1007/11944836_25

. Bauer, The Good, the Bad, and the Ugly, But How Ugly Is Ugly?, Lecture Notes in Computer Science, vol.4839, pp.126-138, 2007.
DOI : 10.1007/978-3-540-77395-5_11

. Bearman, Chains of Affection: The Structure of Adolescent Romantic and Sexual Networks, American Journal of Sociology, vol.110, issue.1, pp.44-91, 2004.
DOI : 10.1086/386272

. Benerecetti, Model checking multiagent systems, Journal of Logic and Computation, vol.8, issue.3, pp.401-423, 1998.
DOI : 10.1093/logcom/8.3.401

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

K. A. Bergstra, J. W. Bergstra, and . Klop, Process algebra for synchronous communication, Information and Control, vol.60, issue.1-3, pp.109-137, 1984.
DOI : 10.1016/S0019-9958(84)80025-X

URL : http://doi.org/10.1016/s0019-9958(84)80025-x

. Bhargavan, Verisim: formal analysis of network simulations, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.129-145, 2002.
DOI : 10.1109/32.988495

. Biere, Symbolic Model Checking without BDDs, TACAS, pp.193-207, 1999.
DOI : 10.1007/3-540-49059-0_14

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

. Biere, Bounded Model Checking, Advances in Computers, vol.58, pp.118-149, 2003.
DOI : 10.1016/S0065-2458(03)58003-2

. Bordini, Verifiable Multi-agent Programs, Programming Multi-Agent Systems, pp.72-89, 2004.
DOI : 10.1007/978-3-540-25936-7_4

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

. Bordini, Model checking agentspeak, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, pp.409-416, 2003.
DOI : 10.1145/860575.860641

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

. Borgatti, UCINet for Windows: Software for social network analysis, p.31, 2002.

G. Bosse, Tibor Bosse and Charlotte Gerritsen Agentbased simulation of the spatial dynamics of crime: on the interplay between criminal hot spots and reputation, IFAAMAS, vol.23, issue.2, pp.1129-1136, 2008.

. Bosse, SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS, International Journal of Cooperative Information Systems, vol.18, issue.01, pp.167-193, 2009.
DOI : 10.1142/S0218843009001987

E. Michael and . Bratman, Intention, Plans, and Practical Reason, Bratman, vol.15, issue.422, pp.39-412, 1987.

T. Brinksma and . Tretmans, Testing Transition Systems: An Annotated Bibliography, Modeling and Verification of Parallel Processes, pp.187-195, 2001.
DOI : 10.1007/3-540-45510-8_9

URL : http://eprints.eemcs.utwente.nl/secure2/00006456/01/fulltext.pdf

. Briot, Design of an Artificial Decision Maker for a Humanbased Social Simulation ? Experience of the SimParc Project, pp.17-35, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01291366

R. A. Brooks, A robust layered control system for a mobile robot, IEEE Journal on Robotics and Automation, vol.2, issue.1, 1986.
DOI : 10.1109/JRA.1986.1087032

R. A. Brooks, Intelligence without representation, Artificial Intelligence, vol.47, issue.1-3, pp.139-1590004, 1991.
DOI : 10.1016/0004-3702(91)90053-M

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

. Burch, Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.428-439, 1990.
DOI : 10.1109/LICS.1990.113767

. Burse, Quicksilver: A component-based environment for agent-based computer models and simulations, Burse, p.53, 2000.

G. L. Cardelli, A. D. Cardelli, and . Gordon, Mobile ambients, Proceedings of the First International Conference on Foundations of Software Science and Computation Structure, pp.140-155, 1998.
DOI : 10.1016/s0304-3975(99)00231-5

URL : http://doi.org/10.1016/s0304-3975(99)00231-5

R. Chen, Feng Chen and Grigore Ro¸suRo¸su Java-MOP: A monitoring oriented programming environment for java, Proceedings of the Eleventh International Conference on Tools and Algorithms for the construction and analysis of systems (TACAS'05), pp.546-550, 2005.

R. Chen, Feng Chen and Grigore Ro¸suRo¸su MOP: An Efficient and Generic Runtime Verification Framework, Object-Oriented Programming , Systems, Languages and Applications(OOPSLA'07), pp.569-588, 2007.

S. Berlin and /. Heidelberg, URL http://dx.doi.org/10, p.24, 2008.

C. , E. Edmund, M. Clarke, and E. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs Workshop, p.23, 1981.

L. Cohen, R. Philip, H. J. Cohen, and . Levesque, Intention is choice with commitment, Artificial Intelligence, vol.42, issue.2-3, pp.213-261, 1990.
DOI : 10.1016/0004-3702(90)90055-5

. Cormen, Introduction to Algorithms, 2001.

S. Da, Lourival Paulino da Silva A formal model for the fifth discipline, Journal of Artificial Societies and Social Simulation, vol.8, issue.36, 2005.

S. Da, P. De-melo, . Salem, A. C. Silva, and . De-melo, A simulation-oriented formalization for a psychological theory, FASE 2007 Proceedings, pp.42-56, 2007.

S. Da, P. De-melo, . Salem, A. C. Silva, and . De-melo, Reusing models in multi-agent simulation with software components, Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems International Foundation for Autonomous Agents and Multiagent Systems, pp.1137-1144, 2008.

S. Da, D. Salem, A. C. Silva, and . De-melo, A formal environment model for multi-agent systems, Formal Methods: Foundations and Applications, pp.64-79, 2011.

S. Da, D. Salem, A. C. Silva, and . De-melo, On-the-fly verification of discrete event simulations by means of simulation purposes The Society for Modeling and Simulation International, Proceedings of the 2011 Spring Simulation Multiconference, p.46, 2011.

DOI : 10.1515/9781400842872.90

. Doi, IOM/T, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.778-785, 2005.
DOI : 10.1145/1082473.1082592

P. Doran, M. Doran, and . Palmer, The EOS project: Integrating two models of palaeolithic social change, p.23, 1995.

. Downing, Thomas Downing, Scott Moss and Claudia Pahl- Wostl. Understanding climate policy using participatory agent-based social simulation, Multi-Agent- Based Simulation, pp.127-140, 1979.

S. Inverno, Agent-Based Modelling of Stem Cell Self-organisation in a Niche, Engineering Self-Organising Systems, pp.52-68, 2005.
DOI : 10.1007/11494676_4

A. Epistein, M. Joshua, R. Epistein, and . Axtell, Growing Artificial Societies: Social Science from the Bottom Up, p.40, 1996.

. Eubank, Modelling disease outbreaks in realistic urban social networks, Nature, vol.202, issue.6988, pp.429180-184, 2004.
DOI : 10.1103/PhysRevE.68.026121

M. Ferber, J. Ferber, and . Müller, Influences and reactions: a model of situated multiagent systems, Proceedings of ICMAS'96 (International Conference on Multi-Agent Systems, pp.43-44, 1996.

. Ferber, Jacques Ferber. Multi-agent systems ? An introduction to distributed artificial intelligence, pp.31-43, 1999.

. Fernandez, On-the-fly verification of finite transition systems, Formal Methods in System Design, vol.2, issue.23, pp.251-273, 1992.
DOI : 10.1007/BF00121127

URL : https://hal.archives-ouvertes.fr/inria-00074812

S. Ferster, Charles B. Ferster and Burrhus Frederic Skinner . Schedules of reinforcement. Appleton-Century-Crofts, p.244, 1957.

S. Finkbeiner, Checking Finite Traces Using Alternating Automata, Formal Methods in System Design, vol.24, issue.2, pp.101-127, 2004.
DOI : 10.1023/B:FORM.0000017718.28096.48

C. F. Freitas, A. L. Freitas, and . Cavalcanti, Automatic Translation from Circus to Java, FM 2006: Formal Methods, pp.115-130, 2006.
DOI : 10.1007/11813040_9

H. R. Frigg, S. Frigg, and . Hartmann, Models in science The Stanford Encyclopedia of Philosophy, p.22, 2009.

M. Gaudel, Testing can be formal, too, Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development, TAPSOFT '95, pp.82-96, 1995.
DOI : 10.1007/3-540-59293-8_188

P. Gaudiano, Paolo Gaudiano and Carolina Chang Phone Adaptive obstacle avoidance with a neural network for operant conditioning: Experiments with real robots, CIRA '97: Proceedings of the 1997 IEEE International Symposium on Computational Intelligence in Robotics and Automation, pp.13-19, 1997.

B. N. Gilbert, S. Gilbert, and . Bankers, Platforms and methods for agent-based modeling, Proceedings of the National Academy of Sciences of the United States, p.22, 2002.
DOI : 10.1073/pnas.072079499

H. A. Goldberg, K. Goldberg, and . Havelund, Automated runtime verification with eagle, p.27, 2005.

. Groves, Lindsay Groves. Refinement and the Z schema calculus Electronic Notes in Theoretical Computer Science The BCS FACS Refinement Workshop (Satellite Event of FLoCl, pp.70-93, 2002.

S. Halim, Ronald Apriliyanto Halim and Mamadou Diouf Seck. The simulation-based multi-objective evolutionary optimization (SIMEON) framework The Society for Modeling and Simulation International, Proceedings of the 2011 Spring Simulation Multiconference (SpringSim'11), p.29, 2011.

. Hannoun, MOISE: An Organizational Model for Multi-agent Systems, Advances in Artificial Intelligence, pp.156-165, 2000.
DOI : 10.1007/3-540-44399-1_17

URL : https://hal.archives-ouvertes.fr/emse-00745232

W. Henein, M. Colin, T. Henein, and . White, Agent-Based Modelling of Forces in Crowds, Multi-Agent and Multi-Agent-Based Simulation, pp.173-184, 2005.
DOI : 10.1007/978-3-540-32243-6_14

). R. Herrnstein and . Herrnstein, On the law of effect1, Journal of the Experimental Analysis of Behavior, vol.13, issue.2, pp.243-266, 1970.
DOI : 10.1901/jeab.1970.13-243

C. A. Hoare and . Hoare, Communicating Sequential Processes, p.27, 1985.

. Holzmann, Gerard Holzmann The Spin model checker: primer and reference manual, p.32, 2003.

H. William and R. Hutchison, A behavior analytic paradigm for adaptive autonomous agents Available online at http://www. behavior.org/resources/320.pdf. Last retrieved in, p.19, 2010.

. Hwang, Moon-Ho Hwang Generating finite-state global behavior of reconfigurable automation systems: DEVS approach, Proceedings of the IEEE International Conference on Automation Science and Engineering, p.29, 2005.

. Ingrand, An architecture for real-time reasoning and system control, IEEE Expert, vol.7, issue.6, pp.34-44, 1992.
DOI : 10.1109/64.180407

I. Iec, Information technology ? Z formal specification notation ? Syntax, type system and semantics, ISO/IEC, pp.2002-399, 2002.

). J. Jakubow, Review of the Book Sniffy the Virtual Rat Pro Version 2.0, Journal of the Experimental Analysis of Behavior, vol.87, issue.2, pp.317-323, 2007.
DOI : 10.1901/jeab.2007.07-06

J. C. Jard, T. Jard, and . Jéron, TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005.
DOI : 10.1007/s10009-004-0153-x

. Kakas, Computational logic foundations of KGP agents, Journal of Artificial Intelligence Research, vol.33, pp.285-348, 2008.

. Kim, Java-MaC, Runtime Verification 2001 proceedings, p.31, 2001.
DOI : 10.1016/S1571-0661(04)00254-3

P. Klugl, Franziska Klugl and Frank Puppe. The multiagent simulation environment SeSAm, Proceedings of the Simulation in Knowledge-based Systems workshop, p.54, 1998.

. Laird, SOAR: An architecture for general intelligence, Artificial Intelligence, vol.33, issue.1, pp.1-64, 1987.
DOI : 10.1016/0004-3702(87)90050-6

. Lea, Doug Lea Concurrent Programming in Java: Design Principles and Patterns, p.27, 1999.

. Lee, Passive testing and applications to network management, Proceedings 1997 International Conference on Network Protocols, p.113, 1997.
DOI : 10.1109/ICNP.1997.643699

. Li, Hongyan Song and Weiping Wang. A testing framework for DEVS formalism implementations The Society for Modeling and Simulation International, Proceedings of the 2011 Spring Simulation Multiconference (SpringSim'11), p.29, 2011.

. Lichtenstein, The glory of the past, Proceedings of the Conference on Logic of Programs, pp.196-218, 1985.
DOI : 10.1007/3-540-15648-8_16

. Lomuscio, MCMAS: A Model Checker for the Verification of Multi-Agent Systems, Computer Aided Verification, pp.682-688978, 2009.
DOI : 10.1007/978-3-642-02658-4_55

. Luke, MASON: A new multi-agent simulation toolkit, p.56, 2004.

J. Maja and . Matari´cmatari´c, Behavior-based robotics as a tool for synthesis of artificial behavior and analysis of natural behavior, Matari´cMatari´c Trends in Cognitive Sciences, vol.2, issue.3, pp.82-86, 1998.

. Mccarthy, Multi-agent Model of Technological Shifts, Multi-Agent-Based Simulation VIII, pp.112-127, 2008.
DOI : 10.1007/978-3-540-70916-9_9

. Mccarthy, John McCarthy. Programs with common sense, p.14, 1958.

M. Mccarthy, The well-designed child, Artificial Intelligence, vol.172, issue.18, pp.2003-2014, 2008.
DOI : 10.1016/j.artint.2008.10.001

). J. Mcdowell and . Mcdowell, A computational model of selection by consequences., Journal of the Experimental Analysis of Behavior, vol.81, issue.3, pp.297-317, 2004.
DOI : 10.1901/jeab.2004.81-297

. Mcdowell, A computational theory of adaptive behavior based on an evolutionary reinforcement mechanism, Proceedings of the 8th annual conference on Genetic and evolutionary computation , GECCO '06, pp.175-182, 2006.
DOI : 10.1145/1143997.1144028

M. D. Mcilroy and . Mcilroy, Mass produced software components, NATO Conference on Software Engineering . NATO Science Commitee, p.29, 1968.

M. George and A. Miller, The magical number seven, plus or minus two: Some limits on our capacity for processing information, Psychological Review, vol.63, pp.81-97, 1956.

. Milner, Robin Milner Communicating and Mobile Systems: the ?- Calculus, pp.45-128, 1999.

. Minar, The Swarm simulation system: A toolkit for building multi-agent simulations. 1996. Working Paper 96-06-042, p.56, 1996.

V. Mysore, Multi-agent modeling and analysis of the brazilian food-poisoning scenario, Proceedings of Generative Social processes, Models, and Mechanisms Conference, p.31, 2005.

. Nau, Automated Planning: Theory & Practice, p.41, 2004.

. North, Experiences creating three implementations of the repast agent modeling toolkit, ACM Transactions on Modeling and Computer Simulation, vol.16, issue.1, pp.1-25, 2006.
DOI : 10.1145/1122012.1122013

. North, The repast simphony runtime system, p.53, 2005.

. Okuyama, ELMS: An Environment Description Language for Multi-agent Simulation, Environments for Multi-Agent Systems, pp.91-108, 2005.
DOI : 10.1007/978-3-540-32259-7_5

. Oliveira, Marcel Vinícius Medeiros Oliveira. Formal Derivation of State-Rich Reactive Programs using Circus, p.27, 2005.

H. Peschanski, S. Peschanski, and . Hym, A stackless runtime environment for a Pi-calculus, Proceedings of the 2nd international conference on Virtual execution environments, VEE '06, pp.57-67, 2006.
DOI : 10.1145/1134760.1134770

URL : https://hal.archives-ouvertes.fr/hal-00140653

T. Pierce, C. Benjamin, D. N. Pierce, and . Turner, Pict: A programming language based on the pi-calculus, Proof, Language and Interaction: Essays in Honour of Robin Milner, p.52, 1997.

. Popper, Karl Popper. The Logic of Scientific Discovery, 1959.

S. Queille, Jean-Pierre Queille and Joseph Sifakis. Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, p.23, 1982.

. Quenum, José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot and Shinichi Honiden. A modeling framework for generic agent interaction protocols, DALT, pp.207-224, 2006.

R. Anand and S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language. In MAAMAW '96: Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away, pp.42-55, 1996.

G. Rao, S. Anand, M. P. Rao, and . Georgeff, A modeltheoretic approach to the verification of situated reasoning systems, In IJCAI, pp.318-324, 1993.

G. Rao, S. Anand, M. P. Rao, and . Georgeff, BDI agents: From theory to practice, ICMAS, pp.312-319, 1995.

S. Russell, Stuart Russell and Devika Subramanian Provably bounded-optimal agents, Journal of Artificial Intelligence Research, vol.2, pp.575-609, 1995.

R. , N. Stuart, J. Russell, and P. Norvig, Artificial Intelligence: A Modern Approach, p.40, 2002.

. Sampaio, Refinement in Circus, FME 2002:Formal Methods?Getting IT Right, pp.1-15, 2002.
DOI : 10.1007/3-540-45614-7_26

. Schruben, Lee Schruben Simulation modeling for analysis, ACM Trans. Model. Comput. Simul, vol.20, issue.1, 2010.

. Shoham, Agent-oriented programming, Artificial Intelligence, vol.60, issue.1, pp.51-92, 1993.
DOI : 10.1016/0004-3702(93)90034-9

. Sichman, A social reasoning mechanism based on dependence networks, Readings in agents, pp.416-420, 1998.

S. Herbert and A. Simon, Sciences of the Artificial, p.36, 1996.

. Skinner, 'Superstition' in the pigeon., Journal of Experimental Psychology, vol.38, issue.2, pp.168-172, 1948.
DOI : 10.1037/h0055873

. Skinner, Burrhus Frederic Skinner. Science and Human Behavior, pp.413-435, 1953.

S. John and F. Sowa, Semantic Networks An updated version of this article can be found online on http://www.jfsowa.com/ pubs/semnet.htm. Last retrieved in, p.67, 1987.

). J. Spivey and . Spivey, The Z notation: a reference manual, p.404, 1992.

. Stocker, Consensus and cohesion in simulated social networks, Journal of Artificial Societies and Social Simulation, vol.4, issue.4, p.23, 2001.

. Szyperski, Clemens Szyperski Component Software: Beyond Object- Oriented Programming, p.29, 1999.

H. Tobias, C. Tobias, and . Hofmann, Evaluation of free java-libraries for social-scientific agent based simulation, Journal of Artificial Societies and Social Simulation, vol.7, issue.1, p.22, 2004.

S. Touretzky, S. David, L. M. Touretzky, and . Saksida, Operant Conditioning in Skinnerbots, Adaptive Behavior, vol.5, issue.3-4, pp.3-4, 1997.
DOI : 10.1177/105971239700500302

. Tretmans, Model Based Testing with Labelled Transition Systems, Tretmans Lecture Notes in Computer Science, vol.4949, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

L. Tsvetovat, Maksim Tsvetovat and Maciej Latek Dynamics of agent organizations: Application to modeling irregular warfare, Multi-Agent-Based Simulation IX, pp.60-70, 2009.

W. Van-der-hoek, Wiebe van der Hoek and Michael Wooldridge. Towards a Logic of Rational Agency, Journal of IGLP, vol.11, issue.2, pp.133-157, 2003.

. Visser, SeungJoon Park and Flavio Lerda. Model checking programs, Automated Software Engineering, vol.10, issue.2, pp.203-2321022920129859, 2003.
DOI : 10.1023/A:1022920129859

W. Wang, R. A. Wang, and . Wysk, A Pi-calculus formalism for discrete event simulation, 2008 Winter Simulation Conference, pp.703-711, 2008.
DOI : 10.1109/WSC.2008.4736132

. Wasserman, Social Network Analysis: Methods and Applications, p.42, 1994.
DOI : 10.1017/CBO9780511815478

. Watkins, Christopher John Cosnish Hellaby Watkins. Learning from Delayed Rewards, p.39, 1989.

W. John and B. Watson, Psychology as the behaviorist views it, Psychological Review, vol.20, pp.158-177, 1913.

. Weiss, Multiagent systems: a modern approach to distributed artificial intelligence, p.13, 1999.

. Weyns, Environments for Multiagent Systems State-of-the-Art and Research Challenges, Proceedings of the 1st International Workshop on Environments for Multi-agent Systems (Lecture Notes in Computer Science, 3374), pp.1-47, 2005.
DOI : 10.1007/978-3-540-32259-7_1

URL : https://hal.archives-ouvertes.fr/lirmm-00106417

C. C. Woodcock, A. L. Woodcock, and . Cavalcanti, A concurrent language for refinement, IWFM'01: 5th Irish Workshop in Formal Methods, p.44, 2001.

D. Woodcock, J. Woodcock, and . Davies, Using Z: Specification, Refinement, and Proof, p.399, 1996.

. Wooldridge, An Introduction to MultiAgent Systems, pp.14-20, 2009.

. Wooldridge, MODEL CHECKING FOR MULTIAGENT SYSTEMS: THE MABLE LANGUAGE AND ITS APPLICATIONS, International Journal on Artificial Intelligence Tools, vol.15, issue.02, pp.195-225, 2006.
DOI : 10.1142/S0218213006002631

. Zeigler, Theory of Modeling and Simulation, p.28, 2000.