Using Multiple Processors in a Single Reconfigurable Fabric for High-assurance Applications. - Bruce Newgard; Colby Hoffman (HOST, 2010)