Timed Coloured Petri Nets for Performance Evaluation of DSP Applications: The 3GPP LTE Case Study. - Laura Frigerio; Kellie Marks; Argy Krikelis (VLSI-SoC (Selected Papers), 2008)

SoC framework for FPGA: A case study of LTE PUSCH receiver. - Süleyman Sirri Demirsoy; Kellie Marks (SoCC, 2009)