M. Abadi and L. Lamport, The existence of refinement mappings, Theoretical Computer Science, vol.82, issue.2, pp.253-284, 1991.
DOI : 10.1016/0304-3975(91)90224-P

T. Abdellatif, J. Combaz, and J. Sifakis, Model-based implementation of realtime applications, pp.229-238, 2010.

F. Achermann and O. Nierstrasz, A calculus for reasoning about software composition, Theoretical Computer Science, vol.331, issue.2-3, pp.367-396, 2005.
DOI : 10.1016/j.tcs.2004.09.022

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

K. Altisen, G. Gössler, and J. Sifakis, Scheduler modeling based on the controller synthesis paradigm, Journal of Real-Time Systems, special issue on " controltheoretical approaches to real-time computing, pp.55-84, 2002.

R. Alur and D. 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

R. Alur and T. Henzinger, Local liveness for comopsitional modeling of fair reactive systems, Poc. CAV '95 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), pp.207-218, 1995.

D. Angeli, A Lyapunov approach to incremental stability properties, IEEE Transactions on Automatic Control, vol.47, issue.3, pp.47-410, 2002.
DOI : 10.1109/9.989067

A. Anta and P. Tabuada, To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems, IEEE Transactions on Automatic Control, vol.55, issue.9, 2010.
DOI : 10.1109/TAC.2010.2042980

A. Antonik, M. Huth, K. Larsen, U. Nyman, and A. Wasowski, 20 years of modal and mixed specifications, Bulletin of European Association of Theoretical Computer Science, vol.1, 2008.

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

A. Arnold, G. Point, A. Griffault, and A. Rauzy, The AltaRica formalism for describing concurrent systems, Fundam. Inform, vol.40, pp.109-124, 1999.

A. Arnold, A. Vincent, and I. Walukiewicz, Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.303, issue.1, pp.7-34, 2003.
DOI : 10.1016/S0304-3975(02)00442-5

A. Arora and S. S. Kulkarni, Detectors and correctors: A theory of faulttolerance components, International Conference on Distributed Computing Systems (ICDCS), pp.436-443, 1998.

P. Attie and H. Chockler, Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs, Proc. VMCAI'05, R. Cousot, pp.465-481, 2005.
DOI : 10.1007/978-3-540-30579-8_30

P. C. Attie, S. Bensalem, M. Bozga, M. Jaber, J. Sifakis et al., An Abstract Framework for Deadlock Prevention in BIP, LNCS, vol.7892, pp.161-177, 2013.
DOI : 10.1007/978-3-642-38592-6_12
URL : https://hal.archives-ouvertes.fr/hal-00878752

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone et al., Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, pp.45-52, 2003.
DOI : 10.1109/MC.2003.1193228

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.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

A. Basu, B. Bonakdarpour, M. Bozga, and J. Sifakis, Systematic Correct Construction of Self-stabilizing Systems: A Case Study, LNCS, vol.6366, pp.4-18, 2010.
DOI : 10.1007/978-3-642-16023-3_4
URL : https://hal.archives-ouvertes.fr/hal-00558054

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

A. Basu, M. Gallien, C. Lesire, T. Nguyen, S. Bensalem et al., Incremental component-based construction and verification of a robotic system, Frontiers in Artificial Intelligence and Applications, vol.178, pp.631-635, 2008.

G. Batt, D. Bergamini, H. De-jong, H. Garavel, and R. Mateescu, Model Checking Genetic Regulatory Networks Using GNA and CADP, Proc. SPIN'04, pp.158-163, 2004.
DOI : 10.1007/978-3-540-24732-6_12

G. Batt, M. Page, I. Cantone, G. Gössler, P. Monteiro et al., Efficient parameter search for qualitative models of regulatory networks using symbolic model checking, Bioinformatics, vol.26, issue.18, p.26, 2010.
DOI : 10.1093/bioinformatics/btq387
URL : https://hal.archives-ouvertes.fr/inria-00482569

G. Batt, D. Ropers, H. De-jong, J. Geiselmann, R. Mateescu et al., Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli, Bioinformatics, vol.21, issue.Suppl 1, pp.21-40, 2005.
DOI : 10.1093/bioinformatics/bti1048
URL : https://hal.archives-ouvertes.fr/hal-00171939

S. S. Bauer, A. David, R. Hennicker, K. G. Larsen, A. Legay et al., Moving from Specifications to Contracts in Component-Based Design, Fundamental Approaches to Software Engineering -15th International Conference, pp.43-58, 2012.
DOI : 10.1007/978-3-642-28872-2_3

H. Baumeister, F. Hacklinger, R. Hennicker, A. Knapp, and M. Wirsing, A Component Model for Architectural Programming, Electronic Notes in Theoretical Computer Science, vol.160, pp.75-96, 2006.
DOI : 10.1016/j.entcs.2006.05.015

S. Beckers and J. Vennekens, Counterfactual dependency and actual causation in cp-logic and structural models: a comparison, Frontiers in Artificial Intelligence and Applications, vol.241, pp.35-46, 2012.

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

S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay et al., Statistical Model Checking QoS Properties of Systems with SBIP, LNCS, vol.7609, pp.2012-327
DOI : 10.1007/978-3-642-34026-0_25
URL : https://hal.archives-ouvertes.fr/hal-01087822

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, J. Sifakis et al., Towards efficient correctness of incremental design, in NASA Formal Methods, LNCS, vol.2, issue.6617, pp.453-458, 2011.

A. Benveniste, A. Bouillard, and P. Caspi, A unifying view of loosely timetriggered architectures, pp.189-198, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00955496

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone et al., Multiple Viewpoint Contract-Based Specification and Design, Proc. FMCO'07, pp.200-225, 2008.
DOI : 10.1109/43.736561

A. Benveniste, B. Caillaud, and R. Passerone, A generic model of contracts for embedded systems, Tech. Rep, vol.6214, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00153477

A. Benveniste, P. Caspi, P. L. Guernic, H. Marchand, J. Talpin et al., A Protocol for Loosely Time-Triggered Architectures, Proc. EMSOFT'02, 2002.
DOI : 10.1007/3-540-45828-X_19
URL : https://hal.archives-ouvertes.fr/inria-00526261

A. Benveniste, P. Caspi, M. D. Natale, C. Pinello, A. L. Sangiovanni-vincentelli et al., Loosely time-triggered architectures based on communication-by-sampling, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.231-239, 2007.
DOI : 10.1145/1289927.1289964
URL : https://hal.archives-ouvertes.fr/inria-00156468

A. Benveniste, P. Leguernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

G. Bernat, A. Burns, and A. Llamosí, Weakly hard real-time systems, IEEE Transactions on Computers, vol.50, issue.4, pp.308-321, 2001.
DOI : 10.1109/12.919277

G. Bernot, J. Comet, A. Richard, and J. Guespin, Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-348, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

G. Bernot and F. Tahi, Behaviour preservation of a biological regulatory network when embedded into a larger network, Fundam. Inform, vol.91, pp.463-485, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00646001

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

B. Berthomieu, H. Garavel, F. Lang, and F. Vernadat, Verifying dynamic properties of industrial critical systems using TOPCASED, FIACRE, ERCIM News, p.2008, 2008.

P. Besnard, M. Cordier, and Y. Moinard, Configurations for Inference Between Causal Statements, Proc. Knowledge Science, Engineering and Management (KSEM'06), pp.292-304, 2006.
DOI : 10.1007/11811220_25
URL : https://hal.archives-ouvertes.fr/inria-00463796

D. Biswas and V. Niemi, Transforming Privacy Policies to Auditing Specifications, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, pp.368-375, 2011.
DOI : 10.1109/HASE.2011.51

S. Bliudze and J. Sifakis, The Algebra of Connectors—Structuring Interaction in BIP, Proc. EMSOFT'07, pp.11-20, 2007.
DOI : 10.1109/TC.2008.26

B. Boehm and C. Abts, COTS integration: plug and pray?, Computer, vol.32, issue.1, p.32, 1999.
DOI : 10.1109/2.738311

B. Bonakdarpour, M. Bozga, and G. Gössler, A theory of fault recovery for component-based models, SRDS, pp.265-270, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00665222

B. Bonakdarpour, M. Bozga, and G. Gössler, A theory of fault recovery for component-based models, SSS, pp.314-328, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00665222

S. Bornot, G. Gössler, and J. Sifakis, On the Construction of Live Timed Systems, Proc. TACAS'00, pp.109-126, 2000.
DOI : 10.1007/3-540-46419-0_9

S. Bouchenak and E. Rutten, Summary of the 5th international workshop on feedback control implementation and design in computing systems and networks, Operating Systems Review, pp.44-82, 2010.

M. Bozga, M. Jaber, N. Maris, and J. Sifakis, Modeling dynamic architectures using dy-bip, in Software Composition, LNCS, vol.7306, pp.2012-2013

M. Broy, Compositional refinement of interactive systems, Journal of the ACM, vol.44, issue.6, pp.850-891, 1997.
DOI : 10.1145/268999.269004

E. Bruneton, T. Coupaye, and J. Stefani, Recursive and dynamic software composition with sharing, Proc. WCOP'02, 2002.

R. Bruni, I. Lanese, and U. Montanari, A basic algebra of stateless connectors, Theoretical Computer Science, vol.366, issue.1-2, pp.98-120, 2006.
DOI : 10.1016/j.tcs.2006.07.005

G. Bruns, D. Dantas, and M. Huth, A simple and expressive semantic framework for policy composition in access control, Proceedings of the 2007 ACM workshop on Formal methods in security engineering , FMSE '07, pp.12-21, 2007.
DOI : 10.1145/1314436.1314439

H. Busch, W. Sandmann, and V. Wolf, A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion, Proc. CMSB'06, pp.298-311, 2006.
DOI : 10.1007/11885191_21

B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen et al., Compositional Design Methodology with Constraint Markov Chains, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, pp.123-132, 2010.
DOI : 10.1109/QEST.2010.23
URL : https://hal.archives-ouvertes.fr/inria-00591578

B. Caillaud and J. Raclet, Ensuring Reachability by Design, LNCS, vol.7521, pp.213-227, 2012.
DOI : 10.1007/978-3-642-32943-2_17
URL : https://hal.archives-ouvertes.fr/hal-00766735

J. Cámara, A. Girard, and G. Gössler, Safety controller synthesis for switched systems using multi-scale symbolic models, IEEE Conference on Decision and Control and European Control Conference, pp.520-525, 2011.
DOI : 10.1109/CDC.2011.6160424

C. Canal, P. Poizat, and G. Salaün, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
DOI : 10.1109/TSE.2008.31

I. Cantone, L. Marucci, F. Iorio, M. Ricci, V. Belcastro et al., A Yeast Synthetic Network for In Vivo Assessment of Reverse-Engineering and Modeling Approaches, Cell, vol.137, issue.1, pp.137-172, 2009.
DOI : 10.1016/j.cell.2009.01.055

J. Carlson, J. Hakansson, and P. Pettersson, SaveCCM: An Analysable Component Model for Real-Time Systems, Electronic Notes in Theoretical Computer Science, vol.160, pp.127-140, 2006.
DOI : 10.1016/j.entcs.2006.05.019

J. Carmona, J. Cortadella, M. Kishinevsky, and A. Taubin, Elastic Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.28, issue.10, pp.1437-1455, 2009.
DOI : 10.1109/TCAD.2009.2030436

P. Caspi and A. Benveniste, Time-robust discrete control over networked loosely time-triggered architectures, in CDC, IEEE, pp.3595-3600, 2008.

N. Chabrier and F. Fages, Symbolic Model Checking of Biochemical Networks, Proc. CMSB'03, 2003.
DOI : 10.1007/3-540-36481-1_13

C. Chaouiya, E. Remy, P. Ruet, and D. Thieffry, Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets, Proc. ICATPN'04, pp.137-156, 2004.
DOI : 10.1007/978-3-540-27793-4_9

K. Chatterjee and T. Henzinger, Assume-Guarantee Synthesis, Proc. TACAS'07, pp.261-275, 2007.
DOI : 10.1007/978-3-540-71209-1_21

T. Chen, C. Chilton, B. Jonsson, and M. Z. Kwiatkowska, A Compositional Specification Theory for Component Behaviours, LNCS, vol.7211, pp.148-168, 2012.
DOI : 10.1007/978-3-642-28869-2_8
URL : https://hal.archives-ouvertes.fr/hal-00665599

S. Cheung, D. Giannakopoulou, and J. Kramer, Verification of liveness properties using compositional reachability analysis, LNCS, vol.1301, pp.227-243, 1997.

S. Cheung and J. Kramer, Context constraints for compositional reachability analysis, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.334-377, 1996.
DOI : 10.1145/235321.235323

C. Chilton, B. Jonsson, and M. Z. Kwiatkowska, Assume-Guarantee Reasoning for Safe Component Behaviours, LNCS, vol.7684, pp.2012-92
DOI : 10.1007/978-3-642-35861-6_6
URL : https://hal.archives-ouvertes.fr/hal-00740073

H. Chockler and J. Halpern, Responsibility and blame: A structural-model approach, J. Artif. Intell. Res. (JAIR), vol.22, pp.93-115, 2004.

L. Cholvy, F. Cuppens, and C. Saurel, Towards a logical formalization of responsibility, Proceedings of the sixth international conference on Artificial intelligence and law , ICAIL '97, pp.233-242, 1997.
DOI : 10.1145/261618.261658

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.241-268, 2002.
DOI : 10.1007/3-540-45657-0_29

D. Clarke, D. Costa, and F. Arbab, Modelling Coordination in Biological Systems, LNCS, vol.4313, pp.9-25, 2004.
DOI : 10.1007/11925040_2

E. Clarke and E. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1981.

J. Comet, H. Klaudel, and S. Liauzu, Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets, Proc. ICATPN'05, pp.208-227, 2005.
DOI : 10.1007/11494744_13
URL : https://hal.archives-ouvertes.fr/hal-00342065

F. Corblin, S. Tripodi, E. Fanchon, D. Ropers, and L. Trilling, A declarative constraint-based method for analyzing discrete genetic regulatory networks, Biosystems, vol.98, issue.2, pp.98-91, 2009.
DOI : 10.1016/j.biosystems.2009.07.007
URL : https://hal.archives-ouvertes.fr/hal-00793012

J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe, Quasi-static scheduling of independent tasks for reactive systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.24, issue.10, pp.1492-1514, 2005.
DOI : 10.1109/TCAD.2005.852038

D. Culler, J. Hill, P. Buonadonna, R. Szewczyk, and A. Woo, A networkcentric approach to embedded software for tiny devices, Proc. EMSOFT'01, pp.114-130, 2001.

T. Dang, C. L. Guernic, and O. Maler, Computing reachable states for nonlinear biological models, CMSB, pp.126-141, 2009.

P. Darondeau, B. Genest, P. Thiagarajan, and S. Yang, Quasi-static scheduling of communicating tasks, Information and Computation, vol.208, issue.10, pp.1154-1168, 2010.
DOI : 10.1016/j.ic.2009.09.005
URL : https://hal.archives-ouvertes.fr/hal-00591759

L. De-alfaro, L. D. Da-silva, M. Faella, A. Legay, P. Roy et al., Sociable Interfaces, Proc. Frontiers of Combining Systems, pp.81-105, 2005.
DOI : 10.1007/11559306_5

L. De-alfaro, T. Henzinger, and R. Jhala, Compositional Methods for Probabilistic Systems, LNCS, vol.2154, pp.351-365, 2001.
DOI : 10.1007/3-540-44685-0_24

H. De and J. , Modeling and simulation of genetic regulatory systems: A literature review, Journal of Computational Biology, vol.9, pp.69-105, 2002.

H. De-jong, J. Geiselmann, C. Hernandez, and M. Page, Genetic Network Analyzer: qualitative simulation of genetic regulatory networks, Bioinformatics, vol.19, issue.3, pp.336-344, 2003.
DOI : 10.1093/bioinformatics/btf851
URL : https://hal.archives-ouvertes.fr/inria-00072325

H. De-jong, J. Gouzé, C. Hernandez, M. Page, T. Sari et al., Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, pp.66-301, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00173849

B. Delahaye, B. Caillaud, and A. Legay, Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or nondeterministic aspects, Formal Methods in System Design, pp.1-32, 2011.

J. Derrick, G. Schellhorn, and H. Wehrheim, Proving linearizability via nonatomic refinement, Proc. IFM'07, pp.195-214, 2007.
DOI : 10.1007/978-3-540-73210-5_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.686.6618

J. Derrick, H. Wehrheim, and D. B. , Using Coupled Simulations in Non-atomic Refinement, Proc. ZB'03, pp.127-147, 2003.
DOI : 10.1007/3-540-44880-2_10

L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, Robustness of Sequential Circuits, 2010 10th International Conference on Application of Concurrency to System Design, pp.77-84, 2010.
DOI : 10.1109/ACSD.2010.26

L. Doyen, T. P. Henzinger, and B. Jobstmann, Interface theories with component reuse, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.79-88, 2008.
DOI : 10.1145/1450058.1450070

V. Silva, S. Ramesh, and A. Sowmya, Synchronous protocol automata: A framework for modelling and verification of SoC communication architectures, Proc. Computers & Digital Techniques, pp.20-27, 2005.

E. Fabre, A. Benveniste, S. Haar, and C. Jard, Distributed monitoring of concurrent and asynchronous systems, Discrete Event Dynamic Systems, pp.33-84, 2005.

F. Fages and S. Soliman, Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008.
DOI : 10.1016/j.tcs.2008.04.024
URL : https://hal.archives-ouvertes.fr/hal-01431355

H. Fecher, M. Leucker, and V. Wolf, Don???t Know in Probabilistic Systems, International Workshop on Model Checking Software, SPIN'06, pp.71-88, 2006.
DOI : 10.1007/3-540-58468-4_190

S. Fenech, G. Pace, J. Okika, A. Ravn, and G. Schneider, On the Specification of Full Contracts, Electronic Notes in Theoretical Computer Science, vol.253, issue.1, pp.39-55, 2009.
DOI : 10.1016/j.entcs.2009.09.027

J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier et al., CADP a protocol validation and verification toolbox, Proc. CAV '96, pp.437-440, 1996.
DOI : 10.1007/3-540-61474-5_97

G. Feuillade and S. Pinchinat, Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dynamic Systems, vol.77, issue.4, pp.211-232, 2007.
DOI : 10.1007/s10626-006-0008-6
URL : https://hal.archives-ouvertes.fr/inria-00555754

G. Fey, S. Staber, R. Bloem, and R. Drechsler, Automatic Fault Localization for Property Checking, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.6, pp.1138-1149, 2008.
DOI : 10.1109/TCAD.2008.923234

J. L. Fiadeiro, Categories for software engineering, 2005.

C. Fidge, Timestamps in message-passing systems that preserve the partial ordering, Proc. ACSC'88, pp.56-66, 1988.

A. Filippov, Differential equations with discontinuous righthand side, Mathematics and its Applications, vol.18, 1988.
DOI : 10.1007/978-94-015-7793-9

G. Frehse, C. L. Guernic, A. Donzé, S. Cotton, R. Ray et al., SpaceEx: Scalable Verification of Hybrid Systems, LNCS, vol.4, issue.2, pp.379-395, 2011.
DOI : 10.1007/978-3-642-00768-2_32
URL : https://hal.archives-ouvertes.fr/hal-00769608

S. Frénot and J. Ponge, LogOS: An Automatic Logging Framework for Service-Oriented Architectures, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp.224-227, 2012.
DOI : 10.1109/SEAA.2012.37

J. Fromentin, J. Comet, P. L. Gall, and O. Roux, Analysing Gene Regulatory Networks by both Constraint Programming and Model-Checking, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, pp.4595-4598, 2007.
DOI : 10.1109/IEMBS.2007.4353363

D. Garlan, R. Allen, and J. Ockerbloom, Architectural mismatch: Why reuse is so hard, IEEE Software, p.12, 1995.

F. Gärtner, Fundamentals of fault-tolerant distributed computing in asynchronous environments, ACM Computing Surveys, vol.31, issue.1, pp.31-32, 1999.
DOI : 10.1145/311531.311532

B. Gaudin and H. Marchand, An efficient modular method for the control of concurrent discrete event systems: A language-based approach, Discrete Event Dynamic System, pp.179-209, 2007.

R. Ghosh, A. Tiwari, and C. Tomlin, Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata, Proc. HSCC'03, pp.233-248, 2003.
DOI : 10.1007/3-540-36580-X_19

R. Ghosh and C. Tomlin, Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model, Proc. HSCC'01, pp.232-246, 2001.
DOI : 10.1007/3-540-45351-2_21

A. Girard, Reachability of Uncertain Linear Systems Using Zonotopes, Proc. HSCC'05, pp.291-305, 2005.
DOI : 10.1007/978-3-540-31954-2_19
URL : https://hal.archives-ouvertes.fr/hal-00307003

A. Girard and G. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
DOI : 10.1109/TAC.2007.895849
URL : https://hal.archives-ouvertes.fr/hal-00171714

A. Girard, G. Pola, and P. Tabuada, Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010.
DOI : 10.1109/TAC.2009.2034922
URL : https://hal.archives-ouvertes.fr/hal-00765597

L. Glass and S. Kauffman, The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.39-103, 1973.
DOI : 10.1016/0022-5193(73)90208-7

U. Goltz, Synchronic Distance, Advances in Petri Nets, pp.338-358, 1986.
DOI : 10.1007/978-3-540-47919-2_12

]. A. Gonzalez, A. Naldi, L. S. A¡nchez, D. Thieffry, and C. Chaouiya, GINsim: A software suite for the qualitative modelling, simulation and analysis of regulatory networks, Dynamical Modeling of Biological Regulatory Networks, pp.91-100, 2006.
DOI : 10.1016/j.biosystems.2005.10.003
URL : https://hal.archives-ouvertes.fr/hal-00088152

G. Gössler, Compositional Modelling of Real-Time Systems ? Theory and Practice, 2001.

G. Gössler and L. As¸tef?as¸tef?, Blaming in component-based real-time systems, Proceedings of the 14th International Conference on Embedded Software, EMSOFT '14, 2014.
DOI : 10.1145/2656045.2656048

G. Gössler, S. Graf, M. Majster-cederbaum, M. Martens, and J. Sifakis, An Approach to Modelling and Verification of Component Based Systems, Proc. SOF- SEM'07, pp.295-308, 2007.
DOI : 10.1007/978-3-540-69507-3_24

G. Gössler and D. L. Métayer, A General Trace-Based Framework of Logical Causality, FACS -10th International Symposium on Formal Aspects of Component Software -2013, 2013.
DOI : 10.1007/978-3-319-07602-7_11

G. Gössler, D. Le-métayer, E. Mazza, M. Potet, and L. Astefanoaei, Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel, TSI, pp.33-63, 2014.

G. Gössler, D. L. Métayer, and J. Raclet, Causality Analysis in Contract Violation, pp.270-284
DOI : 10.1007/978-3-642-16612-9_21

G. Gössler and J. Raclet, Modal Contracts for Component-Based Design, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pp.295-303, 2009.
DOI : 10.1109/SEFM.2009.26

G. Gössler and G. Salaün, Realizability of Choreographies for Services Interacting Asynchronously, FACS LNCS, 2011.
DOI : 10.1007/978-3-642-35743-5_10

G. Gössler and A. Sangiovanni-vincentelli, Compositional Modeling in Metropolis, Proc. EMSOFT'02, 2002.
DOI : 10.1007/3-540-45828-X_8

G. Gössler and J. Sifakis, Composition for component-based modeling, Proc. FSTTCS'03 Proc. FMCO'02 Priority systems Proc. FMCO'03, pp.314-329, 2003.

G. Gössler, D. N. Xu, and A. Girault, Probabilistic contracts for componentbased design, Formal Methods in System Design, pp.211-231, 2012.

J. Gouzé and T. Sari, A class of piecewise linear differential equations arising in biological models, Dynamical Systems, vol.17, issue.4, pp.299-316, 2003.
DOI : 10.1080/1468936021000041681

S. Graf and B. Steffen, Compositional minimization of finite state systems, LNCS, vol.531, pp.186-196, 1990.
DOI : 10.1007/BFb0023732

P. Green, Protocol Conversion, IEEE Transactions on Communications, vol.34, issue.3, pp.257-268, 1986.
DOI : 10.1109/TCOM.1986.1096529

A. Groce, S. Chaki, D. Kroening, and O. Strichman, Error explanation with distance metrics, STTT, pp.229-247, 2006.

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

J. Halpern and J. Pearl, Causes and Explanations: A Structural-Model Approach. Part I: Causes, The British Journal for the Philosophy of Science, vol.56, issue.4, pp.843-887, 2005.
DOI : 10.1093/bjps/axi147

K. Hanninen, J. Maki-turja, M. Nolin, M. Lindberg, J. Lundback et al., The Rubus component model for resource constrained real-time systems, 2008 International Symposium on Industrial Embedded Systems, pp.177-183, 2008.
DOI : 10.1109/SIES.2008.4577697

L. Hartwell, J. Hopfield, S. Leibler, and A. Murray, From molecular to modular cell biology, Nature, pp.402-449, 1999.

T. A. Henzinger and J. Sifakis, The Embedded Systems Design Challenge, Proc. FM'06), pp.1-15, 2006.
DOI : 10.1007/11813040_1

M. Herlihy and J. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, pp.463-492, 1990.
DOI : 10.1145/78969.78972

H. Hermanns, Interactive Markov Chains, The Quest for Quantified Quality LNCS, vol.2428, 2002.

C. A. Hoare, Communicating Sequential Processes, 1985.

D. Hume, An Enquiry Concerning Human Understanding, 1748.

P. Inverardi, D. Yankelevich, and A. Wolf, Static checking of system behaviors using derived component assumptions, ACM Transactions on Software Engineering and Methodology, vol.9, issue.3, 2000.
DOI : 10.1145/352591.352593

B. Jobstmann, S. Staber, A. Griesmayer, and R. Bloem, Finding and fixing faults, Journal of Computer and System Sciences, vol.78, issue.2, pp.441-460, 2012.
DOI : 10.1016/j.jcss.2011.05.005

S. P. Jones, J. Eber, and J. Seward, Composing contracts: an adventure in financial engineering, functional pearl, ICFP, pp.280-292, 2000.

B. Jonsson and K. Larsen, Specification and refinement of probabilistic processes, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.266-277, 1991.
DOI : 10.1109/LICS.1991.151651

J. Katoen, D. Klink, and M. Neuhäußer, Compositional Abstraction for Stochastic Systems, Proc. FORMATS'09, pp.195-211, 2009.
DOI : 10.1007/BFb0035395

N. Kaveh and W. Emmerich, Object system, 2001.

J. Kessels, Arbitration without common modifiable variables, Acta Informatica, vol.12, issue.4, pp.135-141, 1982.
DOI : 10.1007/BF00288966

K. Keutzer, S. Malik, A. Newton, J. Rabaey, and A. Sangiovanni-vincentelli, System-level design: orthogonalization of concerns and platform-based design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.19, issue.12, 2000.
DOI : 10.1109/43.898830

H. Kitano, Looking beyond the details: a rise in system-oriented approaches in genetics and molecular biology, Current Genetics, vol.41, issue.1, pp.1-10, 2002.
DOI : 10.1007/s00294-002-0285-z

C. Kossentini and P. Caspi, Approximation, Sampling and Voting in Hybrid Computing Systems, LNCS, vol.3927, pp.363-376, 2006.
DOI : 10.1007/11730637_28

M. Kuntz, F. Leitner-fischer, and S. Leue, From Probabilistic Counterexamples via Causality to Fault Trees, LNCS, vol.6894, pp.71-84, 2011.
DOI : 10.1007/11691372_29

R. Küsters, T. Truderung, and A. Vogt, Accountability: definition and relationship to verifiability, ACM Conference on Computer and Communications Security, pp.526-535, 2010.

M. Kwiatkowska, G. Norman, D. Parker, and H. Qu, Assume-Guarantee Verification for Probabilistic Systems, TACAS, pp.23-37, 2010.
DOI : 10.1007/978-3-642-12002-2_3
URL : https://hal.archives-ouvertes.fr/inria-00458058

S. Lam and A. U. Shankar, A theory of interfaces and modules I-composition theorem, IEEE Transactions on Software Engineering, vol.20, issue.1, pp.55-71, 1994.
DOI : 10.1109/32.263755

C. Lambertz and M. E. Majster-cederbaum, Efficient deadlock analysis of component-based software architectures, Science of Computer Programming, vol.78, issue.12, pp.2488-2510, 2013.
DOI : 10.1016/j.scico.2013.02.006

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

I. Lanese, C. Mezzina, and J. Stefani, Reversing higher-order pi, in CON- CUR 2010 -Concurrency Theory, LNCS, vol.6269, pp.478-493, 2010.

F. Lang, Refined Interfaces for Compositional Verification, LNCS, vol.37, issue.9, pp.159-174, 2006.
DOI : 10.1007/3-540-56689-9_54
URL : https://hal.archives-ouvertes.fr/inria-00106312

K. Larsen, Modal specifications, Proc. International Workshop on Automatic Verification Methods for Finite State Systems, pp.232-246, 1989.
DOI : 10.1007/3-540-52148-8_19

K. Larsen, U. Nyman, and A. Wasowski, Interface Input/Output Automata, Proc. FM'06, pp.92-97, 2006.
DOI : 10.1007/11813040_7

K. Larsen, B. Steffen, and C. Weise, A constraint oriented proof methodology based on modal transition systems, Proc. TACAS'95, pp.17-40, 1995.

K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, Programming Languages and Systems, 16th European Symposium on Programming, ESOP'07, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6

E. , L. Corronc, A. Girard, and G. Gössler, Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems, CDC -52nd Conference on Decision and Control -2013, pp.3225-3230, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00924815

E. Lee, Overview of the Ptolemy project, Tech. Rep. UCB, vol.25, 2003.

E. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

I. Lee, O. Sokolsky, S. Chen, J. Hatcliff, E. Jee et al., Challenges and research directions in medical cyber-physical systems, Proceedings of the IEEE, vol.100, pp.75-90, 2012.

F. Leitner-fischer and S. Leue, Causality Checking for Complex System Models, LNCS, vol.7737, pp.248-267, 2013.
DOI : 10.1007/978-3-642-35873-9_16

Z. Liu and M. Joseph, Specification and verification of fault-tolerance, timing, and scheduling, ACM Transactions on Programming Languages and Systems, vol.21, issue.1, pp.46-89, 1999.
DOI : 10.1145/314602.314605

D. C. Luckham, J. Vera, D. Bryan, L. Augustin, and F. Belz, Partial orderings of event sets and their application to prototyping concurrent, timed systems, Journal of Systems and Software, vol.21, issue.3, pp.253-265, 1993.
DOI : 10.1016/0164-1212(93)90027-U

G. Lüttgen and W. Vogler, Conjunction on processes: Full abstraction via ready-tree semantics, TCS, pp.373-392, 2007.

N. A. Lynch and M. R. Tuttle, An introduction to input/output automata, CWI- Quarterly, vol.2, pp.219-246, 1989.

M. Majster-cederbaum, M. Martens, and C. Minnameier, Liveness in Interaction Systems, Electronic Notes in Theoretical Computer Science, vol.215, pp.57-74, 2008.
DOI : 10.1016/j.entcs.2008.06.021

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, STACS'95, pp.229-242, 1995.
DOI : 10.1007/3-540-59042-0_76

G. Marnellos, G. Deblandre, E. Mjolsness, and G. Kintner, DELTA-NOTCH LATERAL INHIBITORY PATTERNING IN THE EMERGENCE OF CILIATED CELLS IN XENOPUS: EXPERIMENTAL OBSERVATIONS AND A GENE NETWORK MODEL, Biocomputing 2000, pp.326-337, 2000.
DOI : 10.1142/9789814447331_0031

F. Mattern, Virtual time and global states of distributed systems, Proc. Workshop on Parallel and Distributed Algorithms, pp.215-226, 1988.

M. , M. Jr, and P. Tabuada, Approximate time-optimal control via approximate alternating simulations, ACC, pp.10201-10206, 2010.

P. Menzies, Counterfactual theories of causation, Stanford Encyclopedia of Philosophy, 2009.

B. Meyer, Advances in Object-Oriented Software Engineering, ch. Design by Contract, pp.1-50, 1991.

R. Milner and C. For, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983.
DOI : 10.1016/0304-3975(83)90114-7

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-77, 1992.
DOI : 10.1016/0890-5401(92)90008-4

C. Morgan, A. Mciver, and K. Seidel, Probabilistic predicate transformers, ACM Transactions on Programming Languages and Systems, vol.18, issue.3, pp.325-353, 1996.
DOI : 10.1145/229542.229547

S. Mouelhi, A. Girard, and G. Gössler, CoSyMA, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.83-88, 2013.
DOI : 10.1145/2461328.2461343
URL : https://hal.archives-ouvertes.fr/hal-00839613

A. Naldi, D. Thieffry, and C. Chaouiya, Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks, Proc. CMSB 2006, pp.233-247, 2007.
DOI : 10.1007/978-3-540-75140-3_16

R. Passerone, L. De-alfaro, T. Henzinger, and A. Sangiovanni-vincentelli, Convertibility verification and converter synthesis, Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design , ICCAD '02, 2002.
DOI : 10.1145/774572.774592

J. Pearl, Causal inference in statistics: An overview, Statistics Surveys, vol.3, issue.0, pp.96-146, 2009.
DOI : 10.1214/09-SS057

C. Petri, Kommunikation mit Automaten, 1996.

C. Piazza, M. Antoniotti, V. Mysore, A. Policriti, F. Winkler et al., Algorithmic Algebraic Model Checking I: Challenges from Systems Biology, Proc. CAV'05, pp.5-19, 2005.
DOI : 10.1007/11513988_3

G. Pola, A. Girard, and P. Tabuada, Approximately bisimilar symbolic models for nonlinear control systems, Automatica, vol.44, issue.10, pp.44-2508, 2008.
DOI : 10.1016/j.automatica.2008.02.021
URL : https://hal.archives-ouvertes.fr/hal-00379755

G. Pola and P. Tabuada, Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations, SIAM Journal on Control and Optimization, vol.48, issue.2, pp.719-733, 2009.
DOI : 10.1137/070698580

J. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, Proc. International Symposium on Programming, pp.337-351, 1982.
DOI : 10.1007/3-540-11494-7_22

S. Quinton and S. Graf, Contract-Based Verification of Hierarchical Systems of Components, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.377-281, 2008.
DOI : 10.1109/SEFM.2008.28

J. Raclet, Quotient de spécifications pour la réutilisation de composants, 2007.

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., A modal interface theory for component-based design, Fundam, Inform, vol.108, pp.119-149, 2011.

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, and R. Passerone, Why Are Modalities Good for Interface Theories?, 2009 Ninth International Conference on Application of Concurrency to System Design, 2009.
DOI : 10.1109/ACSD.2009.22
URL : https://hal.archives-ouvertes.fr/inria-00375098

P. Ramadge and W. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control and Optimization, p.25, 1987.

W. Reisig, Petri Nets: An Introduction, Theoretical Computer Science. An EATCS Series, 1985.

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

A. Rensink, Action Contraction, Proc. CONCUR'00, pp.290-305, 2000.
DOI : 10.1007/3-540-44618-4_22

O. Resendis-antonio, J. Freyre-gonzález, R. Menchaca-méndez, R. Gutiérrez-ríos, A. Martínez-antonio et al., Modular analysis of the transcriptional regulatory network of E. coli, Trends in Genetics, vol.21, issue.1, pp.16-20, 2005.
DOI : 10.1016/j.tig.2004.11.010

P. Richard, H. Cormerais, and J. Buisson, A generic design methodology for sliding mode control of switched systems, Nonlinear Analysis: Hybrid Systems and Applications, pp.65-1751, 2006.

P. Roop, A. Girault, R. Sinha, and G. Gössler, Specification Enforcing Refinement for Convertibility Verification, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.148-157, 2009.
DOI : 10.1109/ACSD.2009.25
URL : https://hal.archives-ouvertes.fr/hal-00753172

J. Rushby, Partitioning for safety and security: Requirements, mechanisms, and assurance, 1999.

N. B. Said, T. Abdellatif, S. Bensalem, and M. Bozga, Model-driven information flow security for component-based systems, in From Programs to Systems ? The Systems Perspective in Computing, LNCS, vol.8415, pp.1-20, 2014.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.40-1555, 1995.
DOI : 10.1109/9.412626

M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-vincentelli, Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets, Proc. ICATPN'99, 1999.
DOI : 10.1007/3-540-48745-X_13

J. Sifakis, Modeling Real-Time Systems ??? Challenges and Work Directions, LNCS, vol.2211, pp.373-389, 2001.
DOI : 10.1007/3-540-45449-7_26

J. Sifakis, Rigorous system design, Foundations and Trends in Electronic Design Automation, pp.293-362, 2013.

G. Smeding, Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00925626

G. Smeding and G. Gössler, A correlation preserving performance analysis for stream processing systems, Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012), pp.11-20, 2012.
DOI : 10.1109/MEMCOD.2012.6292295
URL : https://hal.archives-ouvertes.fr/hal-00745819

S. Microelectronics, C. , and P. , A many-core programmable accelerator for ultra-efficient embedded computing in nanometer technology, 2010.

P. Tabuada, Verification and Control of Hybrid Systems -A Symbolic Approach, 2009.

Y. Tazaki and J. Imura, Approximately bisimilar discrete abstractions of nonlinear systems using variable-resolution quantizers, Proceedings of the 2010 American Control Conference, pp.1015-1020, 2010.
DOI : 10.1109/ACC.2010.5530730

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2000.
DOI : 10.1109/ISCAS.2000.858698

R. Thomas, Boolean formalisation of genetic control circuits, J. Theor. Biol, vol.42, pp.565-583, 1973.

M. Tivoli, P. Fradet, A. Girault, and G. Gössler, Adaptor synthesis for realtime components, Proc. TACAS'07, 2007.

S. Tripakis, B. Lickly, T. Henzinger, and E. Lee, A Theory of Synchronous Relational Interfaces, ACM Transactions on Programming Languages and Systems, vol.33, issue.4, pp.141-1441, 2011.
DOI : 10.1145/1985342.1985345

S. Tripakis, C. Pinello, A. Benveniste, A. L. Sangiovanni-vincentelli, P. Caspi et al., Implementing Synchronous Models on Loosely Time Triggered Architectures, IEEE Transactions on Computers, vol.57, issue.10, pp.1300-1314, 2008.
DOI : 10.1109/TC.2008.81

A. Valmari, Compositionality in state space verification methods, in Application and Theory of Petri Nets, LNCS, vol.1091, pp.29-56, 1996.

M. Velasco, J. Fuertes, and P. Marti, The self triggered task model for realtime control systems, 24th IEEE Real-Time Systems Symposium, pp.67-70, 2003.

S. Vestal, Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), pp.239-243, 2007.
DOI : 10.1109/RTSS.2007.47

S. Wang, A. Ayoub, B. Kim, G. Gössler, O. Sokolsky et al., A Causality Analysis Framework for Component-Based Real-Time Systems, Proc. Runtime Verification 2013, pp.285-303, 2013.
DOI : 10.1007/978-3-642-40787-1_17
URL : https://hal.archives-ouvertes.fr/hal-00919081

S. Wang, A. Ayoub, O. Sokolsky, and I. Lee, Runtime Verification of Traces under Recording Uncertainty, LNCS, vol.7186, pp.442-456, 2011.
DOI : 10.1007/978-3-642-29860-8_35

X. Wang and M. Lemmon, State based self-triggered feedback control systems with l2 stability, 17th IFAC world congress, 2008.

D. Wolf and A. , Motifs, modules and games in bacteria, Current Opinion in Microbiology, vol.6, issue.2, pp.125-134, 2003.
DOI : 10.1016/S1369-5274(03)00033-X

V. Wolf, Modelling of Biochemical Reactions by Stochastic Automata Networks, Electronic Notes in Theoretical Computer Science, vol.171, issue.2, pp.171-197, 2007.
DOI : 10.1016/j.entcs.2007.05.017

W. Wonham and P. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, pp.13-30, 1988.
DOI : 10.1007/BF02551233

D. Xu, G. Gössler, and A. Girault, Probabilistic Contracts for Component-Based Design, Proc. ATVA'10, pp.325-340, 2010.
DOI : 10.1007/978-3-642-15643-4_24
URL : https://hal.archives-ouvertes.fr/hal-00747620

W. Yi, Algebraic reasoning for real-time probabilistic processes with uncertain information, Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'94, pp.680-693, 1994.
DOI : 10.1007/3-540-58468-4_190

A. Zeller, Why Programs Fail, 2009.