Tomas Matousek, Filip Zavoral: Extracting Zing Models from C Source Code. SOFSEM (1) 2007: 900-910