"Semeen Rehman, Muhammad Shafique, J�rg Henkel" Reliable Software for Unreliable Hardware - Springer 2016 ISBN: 978-3-319-25772-3 Subjects--Topical Terms: "Engineering; Circuits and Systems; Processor Architectures; Electronics and Microelectronics, Instrumentation"