High-Assurance Reconfigurable Multicore Processor Based Systems. - Manasi Peshave; Farokh B. Bastani; I-Ling Yen (HASE, 2011)