Ewen Denney Bernd Fischer 0002 Johann Schumann Adding Assurance to Automatically Generated Code. 297-299 2004 conf/hase/2004 HASE http://csdl.computer.org/comp/proceedings/hase/2004/2094/00/20940297abs.htm db/conf/hase/hase2004.html#DenneyFS04