A methodology to extract objects from procedural software | IEEE Conference Publication | IEEE Xplore