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