Device Activity Detection for Grant-Free Massive Access Under Frequency-Selective Rayleigh Fading | IEEE Conference Publication | IEEE Xplore