Abdullah, Abu Nasser Mohammed (2006) Formal analysis and verification of an OFDM modem design. Masters thesis, Concordia University.