Using multiple processors in a single reconfigurable fabric for high-assurance applications | IEEE Conference Publication | IEEE Xplore