Generating Objects from C Code - Features of the CORET Tool-Set. - M. Taschwer; Dominik Rauner-Reithmayer; Roland T. Mittermeir (CSMR, 1999)