M. Taschwer Dominik Rauner-Reithmayer Roland Mittermeir Generating Objects from C Code - Features of the CORET Tool-Set. 91-101 1999 conf/csmr/1999 CSMR http://csdl.computer.org/comp/proceedings/csmr/1999/0090/00/00900091abs.htm db/conf/csmr/csmr1999.html#TaschwerRM99