L. Brandan-Briones, Lazovik, A., and Dague, P.,
“Optimizing the system observability level for diagnosability”, in
Proc. of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Chalkidiki, Kassandra, Greece, 2008.
H. Shraim, Nasri, O., Dague, P., Héron, O., and Cartron, M.,
“Smart distance keeping: modeling and perspectives for embedded diagnosis”, in
Proc. of International Conference on Intelligent Systems, Modelling and Simulation (ISMS), Liverpool United Kingdom, 2010.