模型驱动工程中模型的自动缺陷检测工具| IEEE会议出版物| IEEE Xplore