R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, pp.183-235, 1994.

I. Kitouni, H. Hachichi, K. Bouaroudj, and D. E. Saidouni, Durational Actions Timed Automata: Determinization and Expressiveness, International Journal of Applied Information Systems, vol.4, issue.2, pp.1-11, 2012.
DOI : 10.5120/ijais12-450609
URL : https://doi.org/10.5120/ijais12-450609

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7
URL : http://doc.utwente.nl/69857/1/Bolognesi87introduction.pdf

J. P. Courtiat and D. E. Saidouni, Relating Maximality-based Semantics to Action Refinement in Process Algebras, Proceedings of FORTE'94, pp.293-308, 1995.
DOI : 10.1007/978-0-387-34878-0_24
URL : http://www.laas.fr/~courtiat/PAPERS/94078.ps.gz

C. Lenzen, T. Locher, and R. Wattenhofer, Tight bounds for clock synchronization, Proceedings of the 28th ACM symposium on Principles of distributed computing, pp.46-55, 2009.
DOI : 10.1145/1667053.1667057

I. Pereverzeva, E. Troubitsyna, and L. Laibinis, Formal Development of Critical Multi-agent Systems: A Refinement Approach, 2012 Ninth European Dependable Computing Conference, pp.156-161, 2012.
DOI : 10.1109/EDCC.2012.24

S. Guellati, I. Kitouni, R. Matmat, and D. E. Saidouni, Timed Automata with Action Durations ??? From Theory to Implementation, CCIS, vol.465, pp.94-109, 2014.
DOI : 10.1007/978-3-319-11958-8_8

R. Corchuelo and J. L. Arjona, A top down approach for MAS protocol descriptions, Proceedings of the 2003 ACM symposium on applied computing, pp.45-49, 2003.

P. Bouyer and F. Laroussinie, Model Checking Timed Automata, pp.111-140, 2008.
DOI : 10.1002/9780470611012.ch4
URL : https://hal.archives-ouvertes.fr/hal-01194599

A. C. Chaouche, A. El-fallah-seghrouchni, J. M. Ilié, and D. E. Saidouni, A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems, Lecture Notes in Computer Science, vol.8780, pp.146-169, 2014.
DOI : 10.1007/978-3-662-44871-7_6

S. Layadi, I. Kitouni, N. Belala, and D. E. Saidouni, About Decidability of Dynamic Timed Automata with Relative Time Rates, IGI-Global International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 2014.

C. Dima and R. Lanotte, Distributed Time-Asynchronous Automata, Theoretical Aspects of Computing- ICTAC, pp.185-200, 2007.
DOI : 10.1007/978-3-540-75292-9_13
URL : https://hal.archives-ouvertes.fr/hal-01699960

S. Akshay, B. Bollig, P. Gastin, M. Mukund, and K. N. Kumar, Distributed Timed Automata with Independently Evolving Clocks, In: Fundamenta Informaticae, vol.130, issue.4, pp.377-407, 2014.
DOI : 10.1007/978-3-540-85361-9_10
URL : https://hal.archives-ouvertes.fr/hal-01089524