Lessons learned from the development of an ARINC 653 compatible Operating System | IEEE Conference Publication | IEEE Xplore