Reliable software for unreliable hardware : a cross layer perspective. (New York, NY : Springer Science+Business Media, 2015)
HBK.