Language Of Temporal Ordering Specification definition language
(LOTOS) A formal specification language based on temporal ordering used for protocol
specfication in ISO OSI standards
. It is published as ISO 8807 in 1990 and describes the order in which events occur.
["The Formal Description Technique LOTOS", P.H.J. van Eijk et al eds, N-H 1989].