On the Verification of a WiMax Design Using Symbolic Simulation. - Salim Ismail Al-Akhras; Sofiène Tahar; Gabriela Nicolescu; Michel Langevin; Pierre G. Paulin (SCSS, 2012)