A Protocol Specification Language with a High-Level Petri Net Semantics. - Belhassen Zouari; Serge Haddad; Mohamed Taghelit (Decentralized and Distributed Systems, 1993)

Assessment of ESTELLE and EDT Through Real Case Studies. - Serge Haddad; Mohamed Taghelit; Belhassen Zouari (PSTV, 1993)

Symbolic Reachability Graph and Partial Symmetries. - Serge Haddad; Jean-Michel Ilié; Mohamed Taghelit; Belhassen Zouari (Application and Theory of Petri Nets, 1995)