High-Assurance Reconfigurable Multicore Processor Based Systems | IEEE Conference Publication | IEEE Xplore