A Specification of the OSI Transport Service in LOTOS