N. Navet, Y. Song, and F. Simonot, Worst-Case Deadline Failure Probability in Real-Time Applications Distributed over CAN (Controller Area Network), Journal of Systems Architecture, vol.46, p.7, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099080

B. Gaujal and N. Navet, Optimal Replica Allocation for TTP/C Based Systems, Proc. 5th FeT IFAC Conference, pp.7-8, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00107704

R. Santos-marquez, N. Navet, and F. Simonot-lion, Frame Packing under Real-Time Constraints, Proc. 5 th FeT IFAC Conference, pp.7-8, 2003.

F. Hartwich, B. Müller, T. Führer, and R. Hugel, CAN Network with Time Triggered Communication, http://www.can.bosch.com Combining Event- Triggered and Time-Triggered Traffic In FTT- CAN : Analysis of the Asynchronous Messaging System, IEEE International Workshop on Factory Communication Systems (WFCS), 2000.

M. Hamadoui and P. Ramanathan, A dynamic priority assignment technique for streams with (m, k)-firm deadlines, International Electrotechnical Commssion, pp.1443-1451, 1995.
DOI : 10.1109/12.477249

L. Apvrille, P. De-saqui-sannes, C. Lohr, P. Sénac, and J. Courtiat, A New UML Profile for Real-Time System Formal Design and Validation, Proceedings of the Fourth International Conference on the Unified Modeling Language (UML'2001), 2001.
DOI : 10.1007/3-540-45441-1_22

D. Cavaliere, F. Simonot-lion, Y. Song, and O. Hembert, A Component Model Approach for Modelling and Validation of an Automated Manufacturing System, Actes de 8th IEEE International Conference on Emerging Technologies and Factory Automation, pp.15-18, 2001.

R. N. Taylor and N. Medvidovic, A Framework for Classifying and Comparing Architecture Description Languages, 1997.

D. C. Luckham, Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Orderings of Events, Proceedings DIMACS Partial Order Methods Workshop IV, 1996.

R. Allen and D. Garlan, A Formal Approach for Architectural Connection, 1997.

S. Vestal, Scheduling and Communicating in MetaH, Proceedings of Real -Time System Symposium, Rleigh-Durham (NC), pp.194-200, 1993.

S. Vestal, MetaH Reference Manual, 1995.

J. Elloy and F. Simonot-lion, AN ARCHITECTURE DESCRIPTION LANGUAGE FOR IN-VEHICLE EMBEDDED SYSTEM DEVELOPMENT, Proceedings of 15 th IFAC World Congress, IFAC B'02, pp.21-26, 2002.
DOI : 10.3182/20020721-6-ES-1901.00060
URL : https://hal.archives-ouvertes.fr/inria-00107546