Ditty: Directory-based Cache Coherence for Multicore Safety-critical Systems | IEEE Conference Publication | IEEE Xplore