Laura Frigerio, Kellie Marks, Argy Krikelis. Timed Coloured Petri Nets for Performance Evaluation of DSP Applications: The 3GPP LTE Case Study. In Christian Piguet, Ricardo Reis, Dimitrios Soudris, editors, VLSI-SoC: Design Methodologies for SoC and SiP - 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers. Volume 313 of IFIP Advances in Information and Communication Technology, pages 114-132, Springer, 2008. [doi]