Towards recovering and exploiting domain knowledge from C code: A case study on automotive software | IEEE Conference Publication | IEEE Xplore