Using analogy and formal methods for software reuse | IEEE Conference Publication | IEEE Xplore