Reliable software for unreliable hardware a cross layer perspective - Rehman, Semeen (Springer International Publishing, 2016)