A study of compositional verification based IMA integration method. - Hui Huang; Guoquan Zhang; Wanmeng Xu (MIPPR, 2017)