On MILS I/O Sharing Targeting Avionic Systems | IEEE Conference Publication | IEEE Xplore