Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach | IEEE Conference Publication | IEEE Xplore