Information technology. Telecommunications and information exchange between systems. Formal description of ISO 8073 (Classes 0,1,2,3) in LOTOS