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