In: Rudin, H.; West, C. H.: Protocol Specification, Testing and Verification, VII., Proc. of the IRIP WG 6.1 7th Int. Conf. Zürich, pages 43-60. Amsterdam: North Holland, 1987.
Abstract: A new version of Estelle is proposed; it provides new features (a precise semantics of time derived from the time Petri nets, ...) making it possible for a designer to write descriptions of OSI protocols with a significant higher level of abstraction.