马可·波扎诺 亚历山德罗·西马蒂 马可·加里奥 斯特凡诺·托内塔 使用时间认知逻辑的故障检测和识别组件的形式化设计。 326至340 2014 TACAS公司 https://doi.org/10.1007/978-3-642-54862-8_22 https://www.wikidata.org/entity/Q62041141 conf/tacas/2014 db/conf/tacas/tacas2014.html#BozzanoCGT14