A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

J. Seyster, K. Dixit, X. Huang, R. Grosu, K. Havelund et al., Aspect-Oriented Instrumentation with GCC, Barringer et al. [36], pp.405-420
DOI : 10.1007/978-3-642-16612-9_31

O. Patrick, G. Meredith, and . Rosu, Runtime verification with the RV System, pp.136-152

S. Hallé and R. Villemaire, Runtime verification for the web-a tutorial introduction to interface contracts in web applications, pp.106-121

M. Gunzert and A. Nägele, Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components, Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99, p.134, 1999.
DOI : 10.1109/PDSE.1999.779745

M. Lukasiewycz, M. Glaß, J. Teich, and P. Milbredt, FlexRay schedule optimization of the static segment, Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, CODES+ISSS '09, pp.363-372, 2009.
DOI : 10.1145/1629435.1629485

T. Pop, P. Pop, P. Eles, Z. Peng, and A. Andrei, Timing analysis of the FlexRay communication protocol. Real-Time Syst, pp.205-235, 2008.

P. Steven, M. W. Miller, D. D. Whalen, and . Cofer, Software model checking takes off, Commun. ACM, vol.53, pp.58-64, 2010.

R. Pigan and M. Metter, Automating with PROFINET: Industrial Communication Based on Industrial Ethernet, 2008.

M. Felser, Real-Time Ethernet - Industry Prospective, Proceedings of the IEEE, pp.1118-1129, 2005.
DOI : 10.1109/JPROC.2005.849720

R. Serna-oliver, S. Silviu, G. Craciunas, and . Stoger, Analysis of Deterministic Ethernet scheduling for the Industrial Internet of Things, 2014 IEEE 19th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), pp.320-324, 2014.
DOI : 10.1109/CAMAD.2014.7033258

K. Havelund and G. Rosu, Monitoring programs using rewriting, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.135-143, 2001.
DOI : 10.1109/ASE.2001.989799

G. Ros¸uros¸u and K. Havelund, Rewriting-Based Techniques for Runtime Verification, Automated Software Engineering, vol.32, issue.3, pp.151-197, 2005.
DOI : 10.1007/s10515-005-6205-y

H. Barringer, D. E. Rydeheard, and K. Havelund, Rule Systems for Run-time Monitoring: from EAGLE to RULER, Journal of Logic and Computation, vol.20, issue.3, pp.675-706, 2010.
DOI : 10.1093/logcom/exn076

A. Bauer and . Es-falcone, Decentralised LTL Monitoring, Proceedings of the 18th International Symposium on Formal Methods (FM), pp.85-100, 2012.
DOI : 10.1007/978-3-642-32759-9_10
URL : https://hal.archives-ouvertes.fr/hal-00857286

A. Jantsch, Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation, 2003.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

A. Bauer, M. Leucker, and C. Schallhart, Comparing LTL semantics for runtime verification . Logic and Computation, pp.651-674, 2010.

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, p.14, 2011.
DOI : 10.1145/2000799.2000800

F. Bacchus and F. Kabanza, Planning for temporally extended goals, Annals of Mathematics and Artificial Intelligence, vol.22, issue.1/2, pp.5-27, 1998.
DOI : 10.1023/A:1018985923441

O. Kupferman and M. Vardi, Model Checking of Safety Properties, Formal Methods in System Design, vol.19, issue.3, pp.291-314, 2001.
DOI : 10.1007/3-540-48683-6_17

K. Sen, G. Ros¸uros¸u, and G. Agha, Generating Optimal Linear Temporal Logic Monitors by Coinduction, Advances in Computing Science ? ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation, pp.260-275, 2003.
DOI : 10.1007/978-3-540-40965-6_17

A. , P. Sistla, and E. M. Clarke, The complexity of propositional linear temporal logics, Journal of the ACM, vol.32, issue.3, pp.733-749, 1985.

O. Lichtenstein, A. Pnueli, and L. D. Zuck, The glory of the past, Conf. on Logic of Programs, pp.196-218, 1985.
DOI : 10.1007/3-540-15648-8_16

N. Markey, Temporal logic with past is exponentially more succinct, concurrency column, Bulletin of the EATCS, vol.79, pp.122-128, 2003.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Intl. Conf. on Software Engineering (ICSE), pp.411-420, 1999.

Y. Wang, T. Yoo, and S. Lafortune, New results on decentralized diagnosis of discrete event systems, Proc. 42nd Ann. Allerton Conf. on Communication, Control, and Computing, 2004.

Y. Wang, T. Yoo, and S. Lafortune, Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dynamic Systems, pp.233-263, 2007.

F. Cassez, The Complexity of Codiagnosability for Discrete Event and Timed Systems, ATVA, pp.82-96, 2010.
DOI : 10.1007/978-3-642-15643-4_8
URL : https://hal.archives-ouvertes.fr/inria-00493640

S. Tripakis, Decentralized Observation Problems, Proceedings of the 44th IEEE Conference on Decision and Control, pp.6-11, 2005.
DOI : 10.1109/CDC.2005.1582122

K. Sen, A. Vardhan, G. Agha, and G. Rosu, Decentralized runtime analysis of multithreaded applications, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
DOI : 10.1109/IPDPS.2006.1639591

A. Genon, T. Massart, and C. Meuter, Monitoring distributed controllers, Formal Methods (FM), pp.557-572, 2006.

T. Ylì-es-falcone, J. Cornebize, and . Fernandez, Efficient and Generalized Decentralized Monitoring of Regular Languages, Lecture Notes in Computer Science, vol.8461, pp.66-83, 2014.
DOI : 10.1007/978-3-662-43613-4_5