CCITT SDL: Overview of the Language and its Applications. - Roberto Saracco; Paul A. J. Tilanus (Comput. Networks, 1987)

Experience with LOTOS and Environment LOTTE on an ISDN Protocol. - Paul A. J. Tilanus; Yan Yang (Specification and Verification of Concurrent Systems, 1988)

LOTOS Extended with Clocks. - Wilfried H. P. van Hulzen; Paul A. J. Tilanus; Han Zuidweg (FORTE, 1989)

G-LOTOS: A Graphical Language for Concurrent Systems. - Tommaso Bolognesi; Elie Najm; Paul A. J. Tilanus (Comput. Networks ISDN Syst., 1994)