Information technology - Open Systems Interconnection - Guidelines for the application of Estelle, LOTOS and §DL ...