A formal method to software integration in reuse | IEEE Conference Publication | IEEE Xplore