MOESIL: A Cache Coherency Protocol for Locked Mixed Criticality L1 Data Cache | IEEE Conference Publication | IEEE Xplore