Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard | IEEE Conference Publication | IEEE Xplore