Porting applications to an ARINC 653 compliant IMA platform using Vxworks as an example | IEEE Conference Publication | IEEE Xplore