Lotos — a formal description technique based on the temporal ordering of observational behaviour (1989)