Information technology. Open systems interconnection. Guidelines for the application of Estelle, LOTOS and SDL