1. *** Information processing systems. Estelle - A formal description technique based on extended state transition model. IS 9074, 1997iso/iec, (1989).
2. *** Specification and Description Language (SDL),ITU-T. Recommendation Z.100, (1996).
3. Templemore-Finlayson (J.), et al. A graphical representation and prototype editor for the fdt Estelle. Formal description techniques (xi) and protocol specification, testing and verification (XVIII),Kluwer Academic Publishers, (1998).
4. ***Estelle development toolset. Institut National des Télécommunications, Évry, France. Documentation is available from :http://alix. int-evry.fr/~stan/edt. html.
5. *** xtp Forum. Xpress transport protocol specification revision 4.0, 1995. The original document and an updated version are available from:http://www.mentat.com/xtp.html.