S. Abar, K. Georgios, P. Theodoropoulos, G. Lemarinier, and . Hare, Agent based modelling and simulation tools: a review of the state-of-art software, Computer Science Review, vol.24, pp.13-33, 2017.

. Al-saqqar, J. Faisal, K. Bentahar, W. Sultan, E. Wan et al., Model checking temporal knowledge and commitments in multi-agent systems using reduction, Simulation Modelling Practice and Theory, vol.51, pp.45-68, 2015.

J. Bentahar, H. Yahyaoui, M. Kova, and Z. Maamar, Symbolic model checking composite Web services using operational and control behaviors, Expert Systems with Applications, vol.40, issue.2, pp.508-522, 2013.

F. Boniol, V. Wiels, ;. Tla, V. , and Z. , The landing gear system case study, International Conference on Abstract State Machines, pp.1-18, 2014.

R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge, Verifying multi-agent programs by model checking, Autonomous agents and multi-agent systems, vol.12, issue.2, pp.239-256, 2006.

R. Cavada, A. Cimatti, G. Keighren, E. Olivetti, M. Pistor et al., NuSMV 2.5 Tutorial, 2019.

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An opensource tool for symbolic model checking, International Conference on Computer Aided Verification, pp.359-364, 2002.

E. Menshawy, J. Mohamed, W. E. Bentahar, A. Kholy, and . Laarej, Model checking real-time conditional commitment logic using transformation, Journal of Systems and Software, vol.138, pp.189-205, 2018.

R. Fagin, J. Y. Halpern, Y. Moses, and M. Vardi, Reasoning about knowledge, 2004.

M. Fisher, Temporal development methods for agent-based, Autonomous Agents and Multi-Agent Systems, vol.10, issue.1, pp.41-66, 2005.

J. Joo, N. Kim, A. Richard, L. Wysk, Y. Rothrock et al., Agent-based simulation of affordance-based human behaviors in emergency evacuation, Simulation Modelling Practice and Theory, vol.32, pp.99-115, 2013.

B. Keshanchi, A. Souri, and N. Navimipour, An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: formal verification, simulation, and statistical testing, Journal of Systems and Software, vol.124, pp.1-21, 2017.

Y. Liu, T. Wang, H. Zhang, and V. Cheutet, Information Systems Simulation for Performance Evaluation-Application in Aircraft Maintenance, IFIP International Conference on Product Lifecycle Management, pp.789-799, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01849562

Y. Liu, T. Wang, H. Zhang, V. Cheutet, and G. Shen, The design and simulation of an autonomous system for aircraft maintenance scheduling, Computers & Industrial Engineering, vol.137, p.106041, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02305653

Y. Liu, A. H. Ngu, Z. Liang, and . Zeng, QoS computation and policing in dynamic web service selection, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, pp.66-73, 2004.

Z. Maamar, Z. Quan, H. Sheng, J. Yahyaoui, K. Bentahar et al., A new approach to model web services' behaviors based on synchronization, Advanced Information Networking and Applications Workshops, 2009. WAINA'09. International Conference on, pp.43-49, 2009.

C. M. Macal, Everything you need to know about agent-based modelling and simulation, Journal of Simulation, vol.10, issue.2, pp.144-156, 2016.

C. M. Macal and M. North, Tutorial on agent-based modelling and simulation, Journal of simulation, vol.4, issue.3, pp.151-162, 2010.

A. Meski, W. Penczek, M. Szreter, B. Wozna-szczesniak, and A. Zbrzezny, BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance, Autonomous Agents and Multi-Agent Systems, vol.28, issue.4, pp.558-604, 2014.

N. Navimipour, A. Jafari, . Habibizad-navin, M. Amir-masoud-rahmani, and . Hosseinzadeh, Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources, Computers in Industry, vol.68, pp.65-77, 2015.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

F. Raimondi, Model checking multi-agent systems, 2006.

A. Serrano-hernandez, J. Faulin, P. Hirsch, and C. Fikar, Agent-based simulation for horizontal cooperation in logistics and transportation: From the individual to the grand coalition, Simulation Modelling Practice and Theory, vol.85, pp.47-59, 2018.

. Sheng, Z. Quan, Z. Maamar, H. Yahyaoui, J. Bentahar et al., Separating operational and control behaviors: A new approach to Web services modeling, IEEE Internet Computing, vol.14, issue.3, pp.68-76, 2010.

W. Song, H. Xi, D. Kang, and J. Zhang, An agent-based simulation system for multi-project scheduling under uncertainty, Simulation Modelling Practice and Theory, vol.86, pp.187-203, 2018.

A. Souri and N. Navimipour, Behavioral modeling and formal verification of a resource discovery approach in Grid computing, Expert Systems with Applications, vol.41, issue.8, pp.3831-3849, 2014.

M. Y. Vardi, Alternating automata and program verification, Computer Science Today, pp.471-485, 1995.

H. Yahyaoui, Z. Maamar, and K. Boukadi, A framework to coordinate web services in composition scenarios, International Journal of Web and Grid Services, vol.6, issue.2, pp.95-123, 2010.