Matthew Leeke, Saima Arif, Arshad Jhumka, Sarabjot Singh Anand. A methodology for the generation of efficient error detection mechanisms. In Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011. pages 25-36, IEEE, 2011. [doi]