The influence of the formal description technique LOTOS on concurrent system design