A logic based approach to reverse engineering tools production | IEEE Conference Publication | IEEE Xplore