A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems | Publicación