马可·波扎诺 亚历山德罗·西马蒂 马可·加里奥 斯特凡诺·托内塔 使用时间认知逻辑的异步故障检测和识别组件的形式化设计。 2015 11 4 日志。方法计算。科学。 https://doi.org/10.2168/LMCS-11(4:4)2015 http://arxiv.org/abs/1506.04871 https://www.wikidata.org/entity/Q62041120 db/journals/lmcs/lmcs11.html#BozzanoCGT15