S. Htite, R. Dssouli et A. Ghedamsi, (1997) "Diagnostique automatic avec l'outil MFDT" Colloque Francophone sur l'ingénierie des Protocoles de communication CFIP'97, Liège, Belgique. Publie chez Hermes ISBN 2-86601-639-4

A. Ghedamsi, G. v. Bochmann and R. Dssouli, (1994) "Multiple fault diagnostics for finite state machines", Proc. IEEE INFOCOM'93, San Francisco, USA, March 93.

A. Ghedamsi, G. v. Bochmann and R. Dssouli, (1993) "Diagnosing distributed systems modeled by communicating finite state machines", Revue Réseaux et Informatique Répartie, Vol.3, No.4, 1993, Éditions Hermes, pp.343-363.

A. Ghedamsi, G. v. Bochmann and R. Dssouli, (1993) "Diagnostic tests for communicating finite states machines", Proc.12th IEEE Int. Phoenix Conf. on Computer Communications, Scottsdale, USA, March 93.

A. Ghedamsi, G. v. Bochmann and R. Dssouli, (1993) "Diagnosis for single transition faults in communicating finite state machines, International Conference on Distributed Computing Systems" (ICDCS'93), Pittsburgh, USA, May 1993; a shorter version is also included in the proceedings of IEEE Int. Phoenix Conf. on Computer Communications, March 93.

A. Ghedamsi, R. Dssouli and G. v. Bochmann, (1992) "Diagnostic tests for single transition faults in non-deterministic finite state machines", 5th Int. Workshop on Protocol Test Systems, Montréal, Canada, September 1992, pp.77-88.