G. Gössler and J. Sifakis, Priority Systems, LNCS, vol.3, issue.1, pp.314-329, 2004.
DOI : 10.1145/353323.353382

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, From high-level component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, 2010.
DOI : 10.1145/1879021.1879049
URL : https://hal.archives-ouvertes.fr/hal-00557792

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, A framework for automated distributed implementation of component-based models, Distributed Computing, vol.10, issue.2
DOI : 10.1007/s00446-012-0168-6
URL : https://hal.archives-ouvertes.fr/hal-00877995

B. Bonakdarpour, M. Bozga, and J. Quilbeuf, Automated distributed implementation of component-based models with priorities, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.59-68, 2011.
DOI : 10.1145/2038642.2038654
URL : https://hal.archives-ouvertes.fr/hal-00722405

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, 1995.

J. Y. Halpern and R. Fagin, Modelling knowledge and action in distributed systems, Distributed Computing, vol.4, issue.4, pp.159-179, 1988.
DOI : 10.1007/BF01784885

J. Y. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM, vol.37, issue.3, pp.549-587, 1990.
DOI : 10.1145/79147.79161

S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi, Optimization by Simulated Annealing, Science, vol.220, issue.4598, pp.671-680, 1983.
DOI : 10.1126/science.220.4598.671

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

F. Krckeberg and M. Jaxy, Mathematical methods for calculating invariants in petri nets Advances in Petri Nets 1987, LNCS, vol.266, pp.104-131, 1987.

S. Bensalem, M. Bozga, T. H. Nguyen, and J. Sifakis, D-Finder: A Tool for Compositional Deadlock Detection and Verification, Computer Aided Verification, pp.614-619, 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. H. Nguyen, J. Sifakis et al., Incremental component-based construction and verification using invariants, Formal Methods in Computer-Aided Design (FMCAD). (oct, pp.257-256, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00557802

K. M. Chandy and J. Misra, Parallel Program Design, 1988.
DOI : 10.1007/978-1-4613-9668-0_6

R. Bagrodia, Process synchronization: design and performance evaluation of distributed algorithms, IEEE Transactions on Software Engineering, vol.15, issue.9, pp.1053-1065, 1989.
DOI : 10.1109/32.31364

J. A. Pérez, R. Corchuelo, and M. Toro, An order-based algorithm for implementing multiparty synchronization, Concurrency and Computation: Practice and Experience, vol.16, issue.12, pp.1173-1206, 2004.
DOI : 10.1002/cpe.903

D. Kumar, An implementation of N-party synchronization using tokens, Proceedings.,10th International Conference on Distributed Computing Systems, pp.320-327, 1990.
DOI : 10.1109/ICDCS.1990.89299

Y. J. Joung and S. A. Smolka, Strong interaction fairness via randomization, IEEE Transactions on Parallel and Distributed Systems, vol.9, issue.2, pp.137-149, 1998.
DOI : 10.1109/71.663873

K. M. Chandy and J. Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984.
DOI : 10.1145/1780.1804

I. Ben-hafaiedh, S. Graf, and S. Quinton, Building Distributed Controllers for Systems with Priorities, The Journal of Logic and Algebraic Programming, vol.80, issue.3-5, pp.194-218, 2011.
DOI : 10.1016/j.jlap.2010.10.001

S. Ricker and K. Rudie, Know means no: Incorporating knowledge into discrete-event control systems, IEEE Transactions on Automatic Control, vol.45, issue.9, pp.1656-1668, 2000.
DOI : 10.1109/9.880616
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.7802

S. Bensalem, M. Bozga, S. Graf, D. Peled, and S. Quinton, Methods for Knowledge Based Controlling of Distributed Systems, Automated Technology for Verification and Analysis -8th International Symposium, pp.52-66, 2010.
DOI : 10.1007/978-3-642-15643-4_6
URL : https://hal.archives-ouvertes.fr/hal-00557799