R. Alur, C. Courcoubetis, and D. Dill, Model-checking in dense real-time, Information and Computation, vol.104, issue.1, pp.2-34, 1993.

T. Barros, A. Cansado, E. Madelaine, and M. Rivera, Model-checking distributed components: The vercors platform, proceedings of the Third International Workshop on Formal Aspects of Component Software, vol.182, pp.3-16, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00091569

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time components in bip, Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods. pp. 3-12. SEFM '06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375298

I. Beer, S. Ben-david, H. Chockler, A. Orni, and R. Trefler, Explaining counterexamples using causality, Formal Methods in System Design, vol.40, issue.1, pp.20-40, 2012.

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE trans. on soft. eng, vol.17, issue.3, pp.259-273, 1991.

H. Boucheneb, D. Lime, B. Parquier, O. H. Roux, and C. Seidner, Optimal reachability in cost time petri nets, 15th International Conference on Formal Modeling and Analysis of Timed Systems, vol.10419, pp.58-73, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01724290

U. Brockmeyer and G. Wittich, Tools and Algorithms for the Construction and Analysis of Systems, pp.217-231, 1998.

R. E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE Trans. Comput, vol.35, 1986.

M. Chardet, H. Coullon, D. Pertin, and C. Pérez, Madeus: A formal deployment model, 4PAD 2018 -5th Intl Symp. on Formal Approaches to Parallel and Distributed Systems, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01858150

A. Cimatti and A. Griggio, Software model checking via IC3, 2011.

D. Cosmo, R. Eiche, A. Mauro, and J. , Automatic deployment of services in the Cloud with Aeolus Blender, 13th Intl Conf. on Service-Oriented Computing, vol.9435, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233489

D. Cosmo, R. Mauro, J. Zacchiroli, S. Zavattaro, and G. , Aeolus: a component model for the Cloud. Information and Computation, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091062

R. M. Dijkman, M. Dumas, and C. Ouyang, Formal semantics and analysis of bpmn process models using petri nets, 2007.

L. Henrio, O. Kulankhina, S. Li, and E. Madelaine, Integrated Environment for Verifying and Running Distributed Components, Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering, vol.9633, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01303557

S. Hinz, K. Schmidt, and C. Stahl, Transforming bpel to petri nets, Business Process Management, pp.220-235, 2005.

G. J. Holzmann and D. Peled, An improvement in formal verification, 1994.

L. Jezequel and D. Lime, Lazy reachability analysis in distributed systems, The 27th International Conference on Concurrency Theory (CONCUR 2016). LIPIcs, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01699311

C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat, Mace: Language support for building distributed systems, Proceedings of the 28th ACM SIG-PLAN Conference on Programming Language Design and Implementation. PLDI '07, 2007.

S. Kobeissi, A. Utayim, M. Jaber, and Y. Falcone, Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions, IFM 2018 -14th International Conference on integrated Formal Methods, pp.1-19, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01868748

D. Lime, O. H. Roux, C. Seidner, and L. Traonouez, Romeo: A parametric modelchecker for petri nets with stopwatches, Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, 2009.

P. M. Merlin, A study of the recoverability of computing systems, 1974.

C. A. Petri, Kommunikation mit Automaten. Dissertation, schriften des iim, 1962.

T. Xu and Y. Zhou, Systems approaches to tackling configuration errors: A survey, ACM Comput. Surv, vol.47, issue.4, 2015.