Reliable Software for Unreliable Hardware - Rehman; Rehman, Semeen; Henkel, Jörg; Shafique, Muhammad (Springer International Publishing, 2016)