Formal Specifications of Telephone Systems in LOTOS. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (PSTV, 1989)

Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (Comput. Networks ISDN Syst., 1991)

An Introduction to LOTOS: Learning by Examples. - Luigi Logrippo; Mohammed Faci; Mazen Haj-Hussein (Comput. Networks ISDN Syst., 1992)

Specifying Hardware Systems in LOTOS. - Mohammed Faci; Luigi Logrippo (CHDL, 1993)

Specifying features and analysing their interactions in a LOTOS environment. - Mohammed Faci; Luigi Logrippo (FIW, 1994)

Structural Models for Specifying Telephone Systems. - Mohammed Faci; Luigi Logrippo; Bernard Stepien (Comput. Networks ISDN Syst., 1997)