Kevin Mueller, Georg Sigl, Benoit Triquet, Michael Paulitsch: On MILS I/O Sharing Targeting Avionic Systems. EDCC 2014: 182-193