1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Arcile, J.: Sources of the MAPTs models and exploration algorithms. https://forge.ibisc.univ-evry.fr/jarcile/MAPTs/. Accessed 11 Oct 2019
3. Arcile, J.: Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs: application aux véhicules autonomes communicants. PhD thesis, Université Paris-Saclay, France; préparée à l’Université d’Evry-Val-d’Essonne: https://www.biblio.univ-evry.fr/theses/2019/2019SACLE029.pdf (2019)
4. Arcile, J., Devillers, R., Klaudel, H.: VerifCar: a framework for modeling and model checking communicating autonomous vehicles. Auton. Agent. Multi-Agent Syst. 33(3), 353–381 (2019). https://doi.org/10.1007/s10458-019-09409-x
5. Arcile, J., Devillers, R.R., Klaudel, H.: Dynamic exploration of multi-agent systems with periodic timed tasks. Fundam. Informaticae 175(1–4), 59–95 (2020)