ARINC 653 and IMA-compliant high robustness file systems | IEEE Conference Publication | IEEE Xplore