@article(22,
 author       = "S.~Abdi and D.~Gajski",
 year         = "2006",
 title        = "Verification of System Level Model Transformations",
 journal      = "International Journal of Parallel Programming.",
 volume       = "34",
 number       = "1",
 pages        = "29--59",
 doi          = "10.1007/s10766-005-0001-y",
)
@mastersthesis(saleem_masters_thesis,
 author       = "S.~Al-Akhras",
 year         = "2012",
 title        = "On the Verification of a WiMax Design using Symbolic Simulation.",
 school       = "Concordia University",
 url          = "http://spectrum.library.concordia.ca/974451/",
)
@phdthesis(1,
 author       = "G.~Al-Sammane",
 year         = "2005",
 title        = "Simulation Symbolique des Circuits Decrits au Niveau Algorithmique.",
 school       = "Universite Joseph Fourier Grenoble",
 url          = "http://tel.archives-ouvertes.fr/docs/00/04/82/66/PDF/tel-00009776.pdf",
)
@inproceedings(33,
 author       = "G.~Al-Sammane and M.~H. Zaki and S.~Tahar",
 year         = "2007",
 title        = "A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs",
 booktitle    = "Proceedings of the Conference on Design, Automation and Test in Europe",
 publisher    = "EDA Consortium",
 address      = "San Jose, CA, USA",
 pages        = "249--254",
 doi          = "10.1109/DATE.2007.364599",
)
@misc(56,
 author       = "Altera",
 year         = "2009",
 title        = "DSP Builder",
 url          = "http://www.altera.com/products/software/ products/dsp/dsp-builder.html",
)
@article(77,
 author       = "L.~Bachmair and H.~Ganzinger",
 year         = "1994",
 title        = "Rewrite-based Equational Theorem Proving with Selection and Simplification",
 volume       = "4",
 number       = "3",
 pages        = "217--247",
 doi          = "10.1093/logcom/4.3.217",
)
@inproceedings(59,
 author       = "A.~Chiang and H.~Wei-Hua and B.~Kapoor",
 year         = "2009",
 title        = "Validating Physical Access Layer of WiMAX using Systemverilog",
 booktitle    = "Proceedings of the 2009 10th International Symposium on Quality of Electronic Design",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "356--359",
 doi          = "10.1109/ISQED.2009.4810320",
)
@inproceedings(23,
 author       = "A.~Deb and A.~Jantsch and J.~\"{O}berg",
 year         = "2004",
 title        = "System Design for DSP Applications in Transaction Level Modeling Paradigm",
 booktitle    = "Proceedings of the 41st Annual Design Automation Conference",
 series       = "DAC '04",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "466--471",
 doi          = "10.1145/996566.996698",
)
@article(14,
 author       = "C.~Eklund and K.~L. Stanwood and S.~Wang and R.~B. Marks",
 year         = "2006",
 title        = "IEEE Standard for Local and Metropolitan Area Networks Part 16: Air Interface for Fixed and Mobile Broadband Wireless Access Systems Amendment 2: Physical and Medium Access Control Layers for Combined Fixed and Mobile Operation in Licensed Bands and Corrigendum 1",
 journal      = "IEEE Std 802.16e-2005 and IEEE Std 802.16-2004/Cor 1-2005 (Amendment and Corrigendum to IEEE Std 802.16-2004)",
 pages        = "1--822",
 doi          = "10.1109/IEEESTD.2006.99107",
)
@article(76,
 author       = "F.~Franek and C.~G. Jennings and W.~F. Smyth",
 year         = "2007",
 title        = "A Simple Fast Hybrid Pattern-Matching Algorithm",
 journal      = "J. of Discrete Algorithms",
 volume       = "5",
 number       = "4",
 pages        = "682--695",
 doi          = "10.1016/j.jda.2006.11.004",
)
@book(8,
 author       = "M.~Fujita and I.~Ghosh and M.~Prasad",
 year         = "2008",
 title        = "Verification Techniques for System-Level Design",
 publisher    = "Morgan Kaufmann Publishers Inc.",
 address      = "San Francisco, CA, USA",
)
@book(72,
 author       = "D.~D. Gajski and J.~Zhuand and R.~D\"{o}mer and A.~Gerstlauerand and S.~Zhao",
 year         = "2000",
 title        = "SpecC: Specification Language and Methodology",
 publisher    = "Springer",
 address      = "Massachusetts: Kluwer Academic Publishers",
 doi          = "10.1145/266021.266037",
)
@inproceedings(66,
 author       = "S.~Liao and S.~Tjiang and R.~Gupta",
 year         = "1997",
 title        = "An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment",
 booktitle    = "Proceedings of the 34th Annual Design Automation Conference",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "70--75",
 doi          = "10.1145/266021.266037",
)
@article(4,
 author       = "T.~Matsumoto and H.~Saito and M.~Fujita",
 year         = "2005",
 title        = "An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences",
 journal      = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",
 volume       = "E88-A",
 number       = "12",
 pages        = "3315--3323",
 doi          = "10.1093/ietfec/e88-a.12.3315",
)
@unpublished(38,
 author       = "STMicroelectronics",
 year         = "2007",
 title        = "Model-Based Mapping to Parallel Architecture of 802.16a (WiMax).",
)
@unpublished(40,
 author       = "STMicroelectronics",
 year         = "2007",
 title        = "Multiflex WiMax OFDMA Library 2007 - Code Package.",
)
@unpublished(39,
 author       = "STMicroelectronics",
 year         = "2007",
 title        = "WiMAX Wireless-MAN OFDMA Functional Refinement.",
)
@misc(60,
 author       = "Agilent Technologies",
 year         = "2009",
 title        = "Move Forward to What's Possible in WiMAX",
 url          = "http://cp.literature.agilent.com/litweb/pdf/5989-5914EN.pdf",
)
@book(6,
 author       = "S.~Wolfram",
 year         = "1991",
 title        = "Mathematica: A System for Doing Mathematics by Computer, Second Edition",
 publisher    = "Addison-Wesley Longman Publishing Co",
 url          = "http://library.wolfram.com/infocenter/Books/3617/",
)
@inproceedings(34,
 author       = "M.~H. Zaki and G.~Al-Sammane and S.~Tahar",
 year         = "2007",
 title        = "Formal Verification of Analog and Mixed Signal Designs in Mathematica",
 booktitle    = "Computational Science",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "263--267",
 doi          = "10.1007/978-3-540-72586-2\_37",
)