John Regehr, Usit Duongsaa. Deriving abstract transfer functions for analyzing embedded software. In Mary Jane Irwin, Koen De Bosschere, editors, Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 06), Ottawa, Ontario, Canada, June 14-16, 2006. pages 34-43, ACM, 2006. [doi]
Abstract is missing.