Information processing systems. Open systems interconnection. Estelle: a formal description technique based on an extended state transition model