A timed LOTOS supporting a dense time domain and including new timed operators. - Guy Leduc; Luc Léonard (FORTE, 1992)

The OSI 95 Connection-Mode Transport Service: The Enhanced QoS. - André A. S. Danthine; Yves Baguette; Guy Leduc; Luc Léonard (HPN, 1992)

An Enhanced Version of Timed LOTOS and its Application to a Case Study. - Luc Léonard; Guy Leduc (FORTE, 1993)

An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems. - Luc Léonard; Guy Leduc (Comput. Networks ISDN Syst., 1997)

A Formal Definition of Time in LOTOS. - Luc Léonard; Guy Leduc (Formal Aspects Comput., 1998)

Model-Based Verification of a Security Protocol for Conditional Access to Services. - Guy Leduc; Olivier Bonaventure; Luc Léonard; Eckhart Koerner; Charles Pecheur (Formal Methods Syst. Des., 1999)