Christian Wagner Tiziana Margaria Hans-Georg Pagendarm Analysis and Code Model Extraction for C/C++ Source Code. 110-119 2009 ICECCS http://dx.doi.org/10.1109/ICECCS.2009.46 conf/iceccs/2009 db/conf/iceccs/iceccs2009.html#WagnerMP09