Using ECATNets for Specifying Communication Software in the OSI Framework. - Mohamed Bettaz; Mourad Maouche; Moussa Soualmi; Madani Boukebeche (ICCI, 1992)

Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study. - Mohamed Bettaz; Mourad Maouche; Moussa Soualmi; Madani Boukebeche (MASCOTS, 1993)

On reusing ATNet modules in protocol specification. - Mohamed Bettaz; Mourad Maouche; Moussa Soualmi; Madani Boukebeche (J. Syst. Softw., 1994)