证明和解释混合系统消息序列图的不可行性| IEEE会议出版物| IEEE Xplore