Designing Predictable Cache Coherence Protocols for Multi-Core Real-Time Systems | IEEE Journals & Magazine | IEEE Xplore