M2K - An Approach for an Object-oriented Model of C Applications.