Formal description of ISO 8072 (transport service) in LOTOS.