Runtime verification for multicore SoC with high-quality trace data. - Rico Backasch; Christian Hochberger; Alexander Weiss; Martin Leucker; Richard Lasslop (ACM Trans. Design Autom. Electr. Syst., 2013)