LOTOS (Language Of Temporal Ordering Specification) is a Formal Description Technique (FDT) developed as an international standard.
LOTOS directory
LOTOS website