Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. - Stanislaw Budkowski; A. B. Alkhechi; Mohamed-Lyes Benalycherif; Piotr Dembinski; M. Gardie; E. Lallet; J. P. Mouchel La Fosse; Younes Souissi (PSTV, 1993)

Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. - Mohamed-Lyes Benalycherif; Claude Girault (Application and Theory of Petri Nets, 1996)

An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. - Younes Lahbib; Romain Kamdem; Mohamed-Lyes Benalycherif; Rached Tourki (Comput. Electr. Eng., 2005)