Efficient Validation/Verification of a Robust DVB-H Link Layer | IEEE Conference Publication | IEEE Xplore