Predictable Cache Coherence Protocols for Mixed-Time-Criticality Multi-core Systems