R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

K. R. Apt and D. C. Kozen, Limits for automatic verification of finite-state concurrent systems, Information Processing Letters, vol.22, issue.6, pp.307-309, 1986.
DOI : 10.1016/0020-0190(86)90071-2

C. Baier and J. Katoen, Principles of model checking, 2008.

R. Bakhshi, F. Bonnet, W. Fokkink, and B. Haverkort, Formal analysis techniques for gossiping protocols, ACM SIGOPS Operating Systems Review, vol.41, issue.5, pp.28-36, 2007.
DOI : 10.1145/1317379.1317385
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.6509

J. Bingham, Automatic Non-Interference Lemmas for Parameterized Model Checking, 2008 Formal Methods in Computer-Aided Design, pp.1-11, 2008.
DOI : 10.1109/FMCAD.2008.ECP.15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.2127

E. Chang and R. Roberts, An improved algorithm for decentralized extrema-finding in circular configurations of processes, Communications of the ACM, vol.22, issue.5, pp.281-283, 1979.
DOI : 10.1145/359104.359108

C. Chou, P. K. Mannava, and S. Park, A Simple Method for Parameterized Verification of Cache Coherence Protocols, Formal Methods in Computer-Aided Design: 5th International Conference. Proceedings, pp.382-398, 2004.
DOI : 10.1007/978-3-540-30494-4_27

E. Clarke, M. Talupur, and H. Veith, Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems, Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, pp.33-47, 2008.
DOI : 10.1007/978-3-540-78800-3_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.215

E. M. Clarke, O. Grumberg, and D. E. Long, Model checking and abstraction, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1512-1542, 1994.
DOI : 10.1145/186025.186051

E. M. Clarke, J. , O. Grumberg, and D. A. Peled, Model Checking, 1999.

G. Delzanno, A. Sangnier, and R. Traverso, Reachability Problems: 7th International Workshop, Proceedings, chapter Parameterized Verification of Broadcast Networks of Register Automata, pp.109-121, 2013.
DOI : 10.1007/978-3-642-24288-5

A. Desai, S. A. Seshia, S. Qadeer, D. Broman, and J. C. Eidson, Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, Computer Aided Verification: 27th International Conference, CAV 2015 Proceedings, Part II, pp.429-448, 2015.
DOI : 10.1007/978-3-319-21668-3_25

D. Dolev, M. Klawe, and M. Rodeh, An O(n log n) unidirectional distributed algorithm for extrema finding in a circle, Journal of Algorithms, vol.3, issue.3, pp.245-260, 1982.
DOI : 10.1016/0196-6774(82)90023-2

E. A. Emerson and K. S. Namjoshi, Reasoning about rings, Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , POPL '95, pp.85-94, 1995.
DOI : 10.1145/199448.199468

H. Garavel and L. Mounier, Specification and verification of various distributed leader election algorithms for unidirectional ring networks, Science of Computer Programming, vol.29, issue.1-2, pp.171-197, 1997.
DOI : 10.1016/S0167-6423(96)00034-2

A. John, I. Konnov, U. Schmid, H. Veith, and J. Widder, Parameterized model checking of fault-tolerant distributed algorithms by abstraction, 2013 Formal Methods in Computer-Aided Design, pp.201-209, 2013.
DOI : 10.1109/FMCAD.2013.6679411

S. Krstic, Parameterized system verification with guard strengthening and parameter abstraction Automated verification of infinite state systems, 2005.

B. Kusy and S. Abdelwahed, Ftsp protocol verification using spin, 2006.

M. Maróti, B. Kusy, G. Simon, and A. Lédeczi, The flooding time synchronization protocol, Proceedings of the 2Nd International Conference on Embedded Networked Sensor Systems, SenSys '04, pp.39-49, 2004.

A. I. Mcinnes, Model-checking the Flooding Time Synchronization Protocol, 2009 IEEE International Conference on Control and Automation, pp.422-429, 2009.
DOI : 10.1109/ICCA.2009.5410508

K. L. Mcmillan, Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, Proceedings, chapter Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking, pp.179-195, 2001.

R. Milner, A Calculus of Communicating Systems, 1982.
DOI : 10.1007/3-540-10235-3

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

R. Sugihara and R. K. Gupta, Clock Synchronization with Deterministic Accuracy Guarantee, EWSN, 2011.
DOI : 10.1007/978-3-642-19186-2_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.2799

M. Talupur and M. R. Tuttle, Going with the Flow: Parameterized Verification Using Message Flows, 2008 Formal Methods in Computer-Aided Design, pp.1-8, 2008.
DOI : 10.1109/FMCAD.2008.ECP.14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.9938

L. Tan, L. Bu, J. Zhao, and L. Wang, Analyzing the robustness of FTSP with timed automata, Proceedings of the Second Asia-Pacific Symposium on Internetware, Internetware '10, pp.1-21, 2010.
DOI : 10.1145/2020723.2020744

S. Vasudevan, J. Kurose, and D. Towsley, Design and analysis of a leader election algorithm for mobile ad hoc networks, Proceedings of the 12th IEEE International Conference on Network Protocols, 2004. ICNP 2004., pp.350-360, 2004.
DOI : 10.1109/ICNP.2004.1348124

L. Ke-fredlund, J. F. Groote, and H. Korver, Formal verification of a leader election protocol in process algebra, Theoretical Computer Science, vol.177, issue.2, pp.459-486, 1997.
DOI : 10.1016/S0304-3975(96)00256-3