Verifying the DVB-T specification | IET Conference Publication | IEEE Xplore