P. A. Abdulla, Well (and better) quasi-ordered transition systems, The Bulletin of Symbolic Logic, vol.16, issue.4, pp.457-515, 2010.

P. A. Abdulla, G. Delzanno, N. B. Henda, and A. Rezine, Regular model checking without transducers (on efficient verification of parameterized systems), pp.721-736, 2007.

F. Alberti, S. Ghilardi, and N. Sharygina, A framework for the verification of parameterized infinite-state systems*, CEUR Workshop Proceedings 1195, pp.302-308, 2014.

K. Bansal, A. Reynolds, C. W. Barrett, and C. Tinelli, A new decision procedure for finite sets and cardinality constraints in SMT, IJCAR'16 Proceedings, pp.82-98, 2016.

C. Barrett, C. L. Conway, M. Deters, L. Hadarean, D. Jovanovi? et al., CVC4. In: CAV'11 Proceedings, vol.6806, pp.171-177, 2011.

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous component-based system design using the BIP framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

K. Baukus, S. Bensalem, Y. Lakhnech, and K. Stahl, Tools and Algorithms for the Construction and Analysis of Systems, pp.188-203, 2000.

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, D-finder: A tool for compositional deadlock detection and verification, CAV'09 Proceedings, vol.5643, pp.614-619, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00722550

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin et al., Decidability of Parameterized Verification, Synthesis Lectures on Distributed Computing Theory, 2015.

A. Bouajjani, P. Habermehl, and T. Vojnar, Abstract regular model checking, Computer Aided Verification, pp.372-386, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00159512

M. Bozga, R. Iosif, and J. Sifakis, Checking Deadlock-Freedom of Parametric Component-Based Systems, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02388021

Y. Chen, C. Hong, A. W. Lin, and P. Rümmer, Learning to prove safety over parameterised concurrent systems, Formal Methods in Computer Aided Design, pp.76-83, 2017.

S. Conchon, A. Goel, S. Krsti?, A. Mebsout, and F. Zaïdi, Cubicle: A parallel smt-based model checker for parameterized systems, Computer Aided Verification, pp.718-724, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00799272

E. A. Emerson and K. S. Namjoshi, Reasoning about rings, POPL'95 Proceedings, pp.85-94, 1995.

S. M. German and A. P. Sistla, Reasoning about systems with many processes, J. ACM, vol.39, issue.3, pp.675-735, 1992.

Y. Kesten, O. Maler, M. Marcus, A. Pnueli, and E. Shahar, Symbolic model checking with rich assertional languages, Theoretical Computer Science, vol.256, issue.1, pp.93-112, 2001.

V. Kuncak, H. H. Nguyen, and M. C. Rinard, Deciding boolean algebra with Presburger arithmetic, J. Autom. Reasoning, vol.36, issue.3, pp.213-239, 2006.

L. Lowenheim, Über Möglichkeiten im Relativkalkül, Math. Ann, vol.470, pp.76-447, 1915.

I. Suzuki, Proving properties of a ring of finite-state machines, Inf. Process. Lett, vol.28, issue.4, pp.213-214, 1988.