Integrated model for software component selection with simultaneous consideration of implementation and verification. - Zhiqiao Wu; C. K. Kwong 001; Jiafu Tang; J. W. K. Chan (Comput. Oper. Res., 2012)