ARINC 653 and multi-core microprocessors — Considerations and potential impacts | IEEE Conference Publication | IEEE Xplore