Kosek, Anna, Kerridge, Jon, Syed, Aly, "Modelling a Multi-Core Media Processor Using JCSP", , 2025