On the Use of LOTOS for the Formal Description of a Transport Protocol. - Jeroen van de Lagemaat; Giuseppe Scollo (FORTE, 1988)

Protocol design using LOTOS: A critical synthesis of a standardization experience. - Harro Kremer; Jeroen van de Lagemaat; Axel Rennoch; Giuseppe Scollo (FORTE, 1992)