Ryad Zemouri, Jean Marc Faure. Diagnosis of discrete event system by stochastic timed automata.
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, Oct 2006, Munich, Germany. pp.1861-1866,
⟨10.1109/CACSD-CCA-ISIC.2006.4776924⟩.
⟨hal-02479215⟩ 
