An 80 GHz radar level measurement system with dielectric lens antenna | IEEE Conference Publication | IEEE Xplore