Mikhail Kazakov A feasibility proof of semi-automated software integration. 447-452 2004 conf/iastedSE/2004 IASTED Conf. on Software Engineering db/conf/iastedSE/se2004.html#Kazakov04