ISO 8807, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Be