A decoder for the CEPT (Btx) protocol