Rule-based runtime verification revisited2014-04-130 PRE AI DOI:10.1007/s10009-014-0309-2原文链接原文求助分享收藏摘要 En