1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14 (1): 25–59, 1987.
2. T. Bolognesi and F. Lucidi. LOTOS-like process algebras with urgent or timed interactions. In FORTE’91, pages 249–264. IFIP, North-Holland, 1992.
3. J.P. Courtiat, M.S. de Camargo, and D.E. Saidouni. RT-LOTOS: LOTOS temporisé pour la spécification de systèmes temps réel. In R. Dssouli, G.v. Bochmann, and L. Lévesque, editors, Ingénierie des Protocoles CFIP’93, pages 427–441, Hermès, Paris, 1993.
4. G. Leduc and L. Léonard. A timed LOTOS supporting a dense time domain and including new timed operators. In Proc. Fifth Intern. Confer. on Formal Description Techniques (FORTE), Lannion, France, October 1992.
5. G. Leduc and L. Léonard. Comment rendre LOTOS apte à spécifier des systèmes temps réel ? In R. Dssouli, G.v. Bochmann, and L. Lévesque, editors, Ingénierie des Protocoles CFIP’93, pages 407–425, Hermès, Paris, 1993.