Fault-tolerant typed assembly language
ACM SIGPLAN Notices
David Walker
David I. August
Jay Ligatti
George A. Reis
Lester Mackey
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods