Automatic Validation of Design Decision Based on Multiple Analysis Methods Integration. - Jiayu Luo; Ruiying Huang; Xiangping Chen (QSIC, 2013)