Reliable software for unreliable hardware a cross layer perspective - Rehman, Semeen; Shafique, Muhammad; Henkel, J. (Jörg) (Springer, 2016)