基于UML序列图的故障注入和形式验证框架| IEEE会议出版物| IEEE Xplore