The formal description technique Lotos results of the ESPRIT/SEDOS project (North-Holland, 1989)