Enviar por SMS: The Formal description technique Estelle : results of the ESPRIT/SEDOS Project / edited by Michel Diaz [and others].