Hardware Tracing of Embedded Multi-Core Real-Time Systems