On-chip support for software verification and debug in multi-core embedded systems Breadcrumbs UL Home Research Publications Year of Publication 2013 Journal IET Software DOI 10.1049/iet-sen.2011.0212