Ditty: Directory-based Cache Coherence for Multicore Safety-critical Systems. - Zhuanhao Wu; Marat Bekmyrza; Nachiket Kapre; Hiren D. Patel (DATE, 2023)