J. Aubry and C. Zanne, Dependability of on board applications: an approach through the control system, IEEE -AVCS

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

A. Boukhris, S. Giuliani, G. Mourot, R. Querelle, and P. M. Frank, Comparison of two fuzzy modelling approaches applied to the rainfall-runoff relationship, 11th IFAC Symposium on System Identification, SYSID'97, 1997.

A. Elmasri and J. Aubry, Conception and implementation of a cycloconverter digital control based on a MC 68332 microcontroller system IEEE MEPCON, pp.4-6, 1997.

A. Elmasri, Conception et réalisation de la commande numérique rapprochée d'un convertisseur électromécanique: application au cycloconvertisseur triphasé, Thèse de Doctorat de l'INPL, 1997.

L. Kaiser and O. Koné, Une méthode de vérification d'interopérabilité temporelle , Colloque francophone RENPAR, 1997.

L. Kaiser, Vérification de propriétés temporelles à la volée, Colloque francophone RENPAR'10, 1998.

M. Luong, D. Maquin, and J. Ragot, Sensor network design for failure detection and isolation, IFAC Conference on Control of Industrial Systems, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00311228

F. Moitessier, J. Aubry, J. Derniame, and C. Zanne, A method for the conception of control systems for hybrid processes using Petri Nets

N. Navet and Y. Song, On Fault Tolerance and Worst-Case Response Time Analysis in CAN, 23nd IFAC/IFIP Workshop on Real-Time Programming, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00098456

W. Nuninger, F. Kratz, and J. Ragot, Structural equivalence between direct residuals based on parity space and indirect residuals based on unknown input observers, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'97, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00971516

J. Ostroff, Temporal Logic fo Real-Time Systems, Advanced Software Development Series, 1989.

M. Rozière, Aide à la conception de stratégies de diagnostic et de reconfiguration dédiée aux systèmes hybrides, 1997.

J. Sawicki, J. Aubry, and C. Zanne, Sûreté d' un processus hybride par reconfiguration de sa commande

J. Sawicki, C. Zanne, and J. Aubry, Inverting mode failure recovery: application to the drive of a DC generator supplied by a three-phase thyristor converter, Proceedings of International Conference on Control Applications, pp.28-29, 1995.
DOI : 10.1109/CCA.1995.555734

F. Simonot and Y. Song, Real-time communications using TDMA-based multi-access protocol, Computer Communications, vol.20, issue.6, pp.435-448, 1997.
DOI : 10.1016/S0140-3664(97)00045-5

F. Simonot-lion, J. Thomesse, M. Bayart, and M. Staroswiecki, DEPENDABLE DISTRIBUTED COMPUTER CONTROL SYSTEMS: ANALYSIS OF THE DESIGN STEP ACTIVITIES, Proceedings of IFAC -DCCS' 95, 1997.
DOI : 10.1016/B978-0-08-042593-1.50024-9

F. Simonot-lion, Y. Song, and J. Raymond, Validating Real-Time Applications distributed over CAN : an Interoperability Verification, 4th International CAN Conference, ICC'97, 1997.

Y. Q. Song, F. Simonot-lion, and P. Belissent, VACANS-a tool for the validation of CAN-based applications, Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97, 1997.
DOI : 10.1109/WFCS.1997.634323

J. Thomesse, Z. Mammeri, and L. Vega, Time in distributed systems cooperation and communication models, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, 1996.
DOI : 10.1109/FTDCS.1995.524967

J. Toussaint, L. Vega, and F. Simonot-lion, Formal Verification of Time Constrained Communications, Proceedings of ISCA International Conference on Parallel and Distributed Computing Systems, pp.138-143, 1996.

J. Toussaint and F. Simonot-lion, Vérification formelle de propriétés temporelles d'une application distribuée temps réel, Conférence Real-Time Systems'97, éditions Teknéa, 1997.

L. Saens, Modèles de coopération et de communication entre processus temps réel répartis : expression de contraintes de temps pour la vérification de propriétés temporelles, 1996.