B. Ben-hedia, F. Jumel, and J. Babau, Formal evaluation of quality of service for data acquisition systems. Forum on specification and Design Language, 2005.

M. Bozga, S. Graf, and L. Mounier, IF-2.0: A Validation Environment for Component-Based Real-Time Systems, Proceedings of CAV'02, 2002.
DOI : 10.1007/3-540-45657-0_26
URL : https://hal.archives-ouvertes.fr/hal-00357518

J. Deantoni and J. Babau, A MDA Approach for Systems Dedicated to Process Control, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), 2005.
DOI : 10.1109/RTCSA.2005.11
URL : https://hal.archives-ouvertes.fr/inria-00587341

J. Deantoni and J. Babau, Model driven engineering method for SAIA architecture de- sign

S. Faucou, A. Déplanche, and Y. Trinquet, An ADL Centric Approach for the Formal Design of Real-Time Systems, Architecture description language, IFIP, pp.67-82, 2004.
DOI : 10.1007/0-387-24590-1_5

J. Fernandez, Aldébaran: a tool for verication of communicating processes, 1989.

F. Lian, Analysis, design, modeling, and control of networked control systems, Ph.D. Dissertation, 2001.

H. Lönn, T. Saxena, M. Nolin, and M. Törngren, FAR EAST: modeling an automotive software architecture using the EAST ADL, "Software Engineering for Automotive Systems" Workshop W14S, 26th International Conference on Software Engineering, 2004.
DOI : 10.1049/ic:20040338

M. Törngren, Fundamentals of Implementing Real-Time Control Applications in Distributed Computer Systems, Real Time System, 1998.
DOI : 10.1007/978-0-585-35223-7_2