Trace analysis of LOTOS behaviours.