Information technology. Open systems interconnection. Guidelines for the application of Estelle, LOTOS and SDL. (31st January 1992)