OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols