1. Aghasaryan, A., Dousson, C., Fabre, E., Pencolé, Y., and Osmani, A. 2002. Modeling fault propagation in telecommunications networks for diagnosis purposes. In XVIII World Telecommunications Congress. Paris, France, 22?27 September, Available: http://www.irisa.fr/sigma2/benveniste/pub/topic_distribdiag.html.
2. Aghasaryan, A., Jard, C., and Thomas, J. 2004. UML Specification of a generic model for fault diagnosis of telecommunication networks. In 2004 International Conference on Telecommunications, Fortalezza, Brasil, 2?7 August.
3. Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. 1999. Diagnosis of large active systems. Artificial Intelligence 110: 135?183.
4. Benveniste, A., Fabre, E., Jard, C., and Haar, S. 2003a. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. on Automatic Control, 48(5), May. Preliminary version available from http://www.irisa.fr/sigma2/benveniste/pub/IEEE_TAC_AsDiag_2003.html.
5. Benveniste, A., Haar, S., and Fabre, E. 2003b. Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. on Automatic Control, November. Extended version available as IRISA Report 1538, May 2003; available electronically at ftp://ftp.irisa.fr/techreports/2003/PI-1538.ps.gz.