Supporting ARINC 653-based Dynamic Reconfiguration | IEEE Conference Publication | IEEE Xplore