Noureddine Boudriga, Sihem Guemara-ElFatmi: Formal Protocol Description: Model and validation. RelMiCS 1997: 187-203