A novel intelligent verification platform based on a structured analysis model. - Zheng Xie; Xin'an Wang; Zhibin Lian; Yonggui Luo; Ziyi Hu (Sci. China Inf. Sci., 2013)