A consistency checking approach for system architecture. - Xiaokai Xia; Jing Shi; Zhiqiang Fan; Zhongliang Ai; Yancen Dong (SysCon, 2016)