J. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, Symposium on Programming , ser. LNCS. Springer, 1982.
DOI : 10.1007/3-540-11494-7_22

E. Clarke, O. Grumberg, and D. , Peled, Model checking, 1999.

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verification for component-based systems and application, ATVA, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00568866

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, D-Finder: A Tool for Compositional Deadlock Detection and Verification, CAV, ser, 2009.
DOI : 10.1007/978-3-642-02658-4_45
URL : https://hal.archives-ouvertes.fr/hal-00722550

S. Bensalem, M. Bozga, A. Legay, T. Nguyen, J. Sifakis et al., Incremental component-based construction and verification using invariants, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00557802

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, J. Sifakis et al., D-finder 2: Towards efficient correctness of incremental design BIP ? incremental component-based construction of realtime systems, NASA Formal Methods, ser. LNCS. Springer, 2011.

S. Bensalem, L. Silva, A. Griesmayer, F. Ingrand, A. Legay et al., A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems, SC'11, ser, 2011.
DOI : 10.1002/rob.20206

C. Haulzbaur, A specialized, incremental solved form algorithm for systems of linear inequalities, Austrian Research Institute for Artificial Intelligence, Tech. Rep, 1994.

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, 1978.
DOI : 10.1145/512760.512770

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, 1989.
DOI : 10.1109/5.24143

F. Krückeberg and M. Jaxy, Mathematical methods for calculating invariants in Petri nets, ICAPTN, ser. LNCS. Springer, 1986.
DOI : 10.1007/3-540-18086-9_22

S. Sankaranarayanan, H. Sipma, and Z. Manna, Petri Net Analysis Using Invariant Generation, Verification: Theory and Practice, ser, 2004.
DOI : 10.1007/978-3-540-39910-0_29

G. Gößler and J. Sifakis, Priority Systems, FMCO, pp.314-329, 2003.
DOI : 10.1145/353323.353382

S. Bensalem, A. Legay, T. Nguyen, J. Sifakis, and R. Yan, Incremental Invariant Generation for Compositional Design, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010.
DOI : 10.1109/TASE.2010.23

D. Heimbold and D. Luckham, Debugging Ada Tasking Programs, IEEE Software, vol.2, issue.2, 1985.
DOI : 10.1109/MS.1985.230351

M. Chaudron, E. Eskenazi, A. Fioukov, and D. Hammer, A framework for formal component-based software architecting, OOPSLA, 2001.