Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach