Efficient Validation/Verification of a Robust DVB-H Link Layer