Reliable Software for Unreliable Hardware A Cross Layer Perspective - Rehman, Semeen; Shafique, Muhammad; Henkel, Jörg (Springer International Publishing : Imprint: Springer, 2016)