Workshop on Mixed Criticality Systems WMC at IEEE RTSS 2013