Designing ARINC653 Partition Constrained Scheduling for Secure Real Time Embedded Avionics | IEEE Conference Publication | IEEE Xplore