J. R. Abrial, In: Train Systems, pp.1-36, 2006.

G. A. Agha, ACTORS: A Model Of Concurrent Computation In Distributed Systems, 1990.

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. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, 2011.
DOI : 10.1145/2000799.2000800

H. Chao, H. Li, X. Song, T. Wang, and X. Li, On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios, 2017 IEEE 26th Asian Test Symposium (ATS), pp.195-200, 2017.
DOI : 10.1109/ATS.2017.45

C. C. Din, O. Owe, and R. Bubel, Runtime assertion checking and theorem proving for concurrent and distributed systems, MODELSWARD 2014 -Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, pp.7-9, 2014.

A. El-hokayem and Y. Falcone, Monitoring decentralized specifications, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis , ISSTA 2017, pp.125-135, 2017.
DOI : 10.1145/79173.79181

URL : https://hal.archives-ouvertes.fr/hal-01653725

Y. Falcone, M. Jaber, T. H. Nguyen, M. Bozga, and S. Bensalem, Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software & Systems Modeling, vol.40, issue.1, pp.173-199, 2015.
DOI : 10.1109/SEFM.2009.13

URL : https://hal.archives-ouvertes.fr/hal-00972566

F. Polat and R. A. , A multi-agent tuple-space based problem solving framework, Journal of Systems and Software, vol.47, issue.1, pp.11-17, 1999.
DOI : 10.1016/S0164-1212(99)00019-9

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433

D. Gelernter and N. Carriero, Coordination languages and their significance, Communications of the ACM, vol.35, issue.2, pp.96-107, 1992.
DOI : 10.1145/129630.376083

E. Kamburjan, C. C. Din, and T. C. Chen, Session-Based Compositional Analysis for Actor-Based Languages Using Futures, Formal Methods and Software Engineering, pp.296-312, 2016.
DOI : 10.1007/3-540-58184-7_118

A. Kasuya and T. Tesfaye, Verification methodologies in a tlm-to-rtl design flow, pp.199-204, 2007.

R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, and H. Iravanchi, Modeling and Analysis of Reo Connectors Using Alloy, Coordination Models and Languages, 2008.
DOI : 10.1007/978-3-540-68265-3_11

E. Kühn, Reusable Coordination Components: Reliable Development of Cooperative Information Systems, International Journal of Cooperative Information Systems, vol.4, issue.1, 2016.
DOI : 10.1016/j.jcss.2010.01.010

E. Kühn, Flexible Transactional Coordination in the Peer??Model, International Conference on Fundamentals of Software Engineering (FSEN), pp.116-131, 2017.
DOI : 10.1145/1040305.1040322

E. Kühn, R. Mordinyi, L. Keszthelyi, and C. Schreiber, Introducing the Concept of Customizable Structured Spaces for Agent Coordination in the Production Automation Domain, 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS), pp.625-632, 2009.

M. Mostafa and B. Bonakdarpour, Decentralized Runtime Verification of LTL Specifications in Distributed Systems, 2015 IEEE International Parallel and Distributed Processing Symposium, pp.494-503, 2015.
DOI : 10.1109/IPDPS.2015.95

Z. Newsham, A. B. Oliveira, J. C. Petkovich, A. S. Rehman, G. M. Tchamgoue et al., Intersert: Assertions on Distributed Process Interaction Sessions, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), p.2017, 2017.
DOI : 10.1109/QRS.2017.32

C. A. Petri, Kommunikation mit Automaten, Technische Hochschule Darmstadt, 1962.

L. H. Pham, L. L. Thi, and J. Sun, Assertion Generation through Active Learning, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp.155-157, 2017.
DOI : 10.1109/ICSE-C.2017.87

S. T. Radschek, A usable formal methods tool chain for safety critical concurrent systems design, 2018.

K. Reichl, T. Fischer, and P. Tummeltshammer, Using Formal Methods for Verification and Validation in Railway, Tests and Proofs, pp.3-13, 2016.
DOI : 10.1007/978-1-4471-5260-6

T. Scheller and E. Kühn, Automated measurement of API usability: The API Concepts Framework, Information and Software Technology, vol.61, pp.145-162, 2015.
DOI : 10.1016/j.infsof.2015.01.009

A. Tjang, F. Oliveira, R. P. Martin, and T. D. Nguyen, A, Proceedings of the 3rd workshop on Programming languages and operating systems linguistic support for modern operating systems, PLOS '06, 2006.
DOI : 10.1145/1215995.1216003

C. Wang, F. He, X. Song, Y. Jiang, M. Gu et al., Assertion Recommendation for Formal Program Verification, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), pp.154-159, 2017.
DOI : 10.1109/COMPSAC.2017.66